This specification of the markup language MathML is intended primarily for a readership consisting of those who will be developing or implementing renderers or editors using it, or software that will communicate using MathML as a protocol for input or output.Expand

In contrast to the OMDoc format, this report is a total re-write, it closes many documentation gaps, clarifies various remaining issues and adds a multitude of new examples.Expand

A search engine for mathematical formulae and a generic language extension approach that allows constructing queries by minimally annotating existing representations that results in a scalable application are presented.Expand

This overview paper summarizes the task design, corpora, submitted runs, results, and the approaches used by participating groups of the NTCIR-12 MathIR Task.Expand

Leo uses a higher-order Logic based upon Church's simply typed λ-calculus, so that the comprehension axioms are implicitly handled by αβη-equality, and extensionality principles are build in into Leo’s unification, and hence do not have to be axiomatized in order to achieve Henkin completeness.Expand

An overview of a new pilot task, the NTCIR Math Task, which is specifically dedicated to information access to mathematical content, as well as the main approaches deployed by the participating groups.Expand

The MathWeb system provides the functionality to turn existing theorem proving systems and tools into mathematical services that are homogeneously integrated into a networked proof development environment.Expand