MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces

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''

This page is hosted by the Department of Computer Science, University of Bologna. Last updated Fri Feb 2 17:12:28 CET 2007.