Abstract

The World Wide Web is already the largest resource of mathematical knowledge, and its importance will be exponentiated by emerging display technologies like MathML. However, almost all mathematical documents available on the Web are marked up only for presentation, severely crippling the potentialities for automation, interoperability, sophisticated searching mechanisms, intelligent applications, transformation and processing. The goal of the project is to overcome these limitations, passing from a machine-readable to a machine-understandable representation of the information, and developing the technological infrastructure for its exploitation. MoWGLI builds on previous standards for the management and publishing of mathematical documents (MathML, OpenMath, OMDoc), integrating them with different XML technologies (XSLT, RDF, etc).

For further description see Project in the Project Menu.

Advanced MoWGLI Prototype

• The Coq library online: browsing and searching (will open a new window).
• Submission of a contribution for the MoWGLI library.