|
|
|
Publications
About MoWGLI
- Claudio Sacerdoti Coen, Stefano Zacchiroli,
``
Brokers and Web-Services for Automatic Deduction: a Case Study
''
- Prof. Andrea Asperti, Prof. Bernd Wegner,
``MOWGLI - A New Approach for the Content Description in Digital
Documents''
- Luís Cruz-Filipe,
``Towards Automation of Real Analysis in Coq''
- Prof. Herman Geuvers, Joigov, Georgi,
``Open Proofs and Open Terms: a Basis for Interactive Logic''
- Prof. Herman Geuvers, Pollack, Randy, Dr. Freek Wiedijk, Zwanenburg, J,
``A Constructive Algebraic Hierarchy in Coq''
- Luís Cruz-Filipe, Spitters, Bas,
``Program Extraction from Large Proof Developments''
- Luís Cruz-Filipe,
``A Constructive Formalization of the Fundamental Theorem of Calculus''
- Prof. Herman Geuvers, Dr. Freek Wiedijk,
``Types for Proofs and Programs''
- Ferruccio Guidi, Irene Schena,
``
A Query Language for a Metadata Framework
about Mathematical Resources.
''
- Ferruccio Guidi,
``Searching and Retrieving in Content-based Repositories of
Formal Mathematical Knowledge''
- Prof. Andrea Asperti, Dr. Michael Kohlhase,
``
MathML in the MOWGLI Project
''
- PD. Dr. Erica Melis, Budenbender, Jochen, Frischauf, Adrian, George Goguadze, Paul Libbrecht, Pollet, Martin, ,
``
ActiveMath: A Generic and Adaptive Web-Based Learning Environment
''
- PD. Dr. Erica Melis, George Goguadze, Paul Libbrecht, Ullrich, Carsten,
``
How to Teach It -- Polya-Inspired Scenarios in ActiveMath
''
- Ullrich, Carsten, PD. Dr. Erica Melis,
``
The Poor Man's Eyetracker in ActiveMath, Proceedings of the World
''
- PD. Dr. Erica Melis, George Goguadze, Paul Libbrecht, Ullrich, Carsten,
``
Wissensmodellierung und -nutzung in ActiveMath
''
- PD. Dr. Erica Melis, Budenbender, Jochen, George Goguadze, Paul Libbrecht, Ullrich, Carsten,
``
Knowledge Representation and Management in ActiveMath
''
- George Goguadze, PD. Dr. Erica Melis, Ullrich, Carsten, Cairns, Paul,
``
Problems and Solutions for Markup for Mathematical Examples and
Exercises
''
- Prof. Andrea Asperti, Dr. Michael Kohlhase,
``MathML in the MOWGLI Project''
- Luca Padovani,
``A Stand-Alone Rendering Engine for MathML''
- Prof. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena,
``
Mathematical Knowledge Management in HELM
''
- Hanane Naciri, Laurence Rideau,
``
Affichage et diffusion sur Internet d'explications en langue arabe de
preuves mathematiques
''
- Hanane Naciri, Laurence Rideau,
``
Formal Mathematical Proof Explanations in Natural Language
Using MathML: An Application to Proofs in Arabic
''
- Luca Padovani,
``
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions
''
- Luca Padovani,
``
MathML Formatting
''
- Luca Padovani,
``
MathML Formatting with TeX Rules and TeX Fonts
''
- Beeson, M, Dr. Freek Wiedijk,
``The Meaning of Infinity in Calculus and Computer Algebra Systems''
- Dr. Freek Wiedijk,
``Formal proof sketches''
- Dr. Freek Wiedijk,
``A new implementation of Automath''
- Wenzel, M, Dr. Freek Wiedijk,
``A comparison of the mathematical proof languages Mizar and Isar''
- Dr. Freek Wiedijk,
``Comparing mathematical provers''
Related Publications
- Prof. Bernard F. Schutz,
``Geometrical methods of mathematical physics''
- Wheary, J., Wild, L., Prof. Bernard F. Schutz, Weyher, C.,
``Thinking and Developing Electronically''
- Prof. Andrea Asperti, Longo, Giuseppe,
``Categories, Types and Structures. An introduction to Category
Theory for the Working Computer Scientist.''
- Prof. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena,
``XML, Stylesheets and the re-mathematization of Formal Content''
- Seuren, P.A.M., Capretta, Venanzio, Prof. Herman Geuvers,
``The logic and mathematics of occasion sentences''
- Oostdijk, M., Prof. Herman Geuvers,
``Proof by Computation in the Coq system''
- Prof. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena,
``Formal Mathematics on the Web''
- Prof. Henk Barendregt, Prof. Herman Geuvers,
``Proof Assistants using Dependent Type Systems''
- Prof. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena,
``Formal Mathematics in MathML''
- Prof. Herman Geuvers, Dr. Freek Wiedijk, Zwanenburg, J.,
``Equational Reasoning via Partial Reflection''
- Prof. Bernard F. Schutz,
``A First Course in General Relativity''
- Wheary, J., Prof. Bernard F. Schutz,
``Making an Electronic Journal Live''
- Prof. Herman Geuvers, Barendsen, E.,
``Some logical and syntactical observations concerning the first
order dependent type system lambda P''
- Prof. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena,
``HELM and the semantic Math-Web''
- Berners-Lee, Tim,
``The Semantic Web''
- Huet, G., Plotkin, G.,
``Logical Frameworks''
- Huet, G., Plotkin, G.,
``Logical Environments''
- ,
``Common Criteria for Information Technology Security Evaluation''
|
