Mathematical Objects (Module MOBJ)

  • Michael Kohlhase
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4180)


A distinguishing feature of mathematics is its ability to represent and manipulate ideas and objects in symbolic form as mathematical formulae. OMDoc uses the OpenMath and Content-MathML formats to represent mathematical formulae and objects. Therefore, the OpenMath standard [BCC+04] and the MathML 2.0 recommendation (second edition) [ABC+03] are part of this specification. We will review OpenMath objects (top-level element om:OMOBJ) in Section 13.1 and Content-MathML (top-level element m:math) in Section 13.2, and specify an OMDoc element for entering mathematical formulae (element legacy) in Section 13.5.

The recapitulation in the next two sections is not normative, please consult Section 2.1 for a general introduction and history and the OpenMath standard and the MathML 2.0 Recommendation for details and clarifications.


Directed Acyclic Graph Mathematical Object Structure Sharing Legacy Element Content Dictionary 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Michael Kohlhase

    There are no affiliations available

    Personalised recommendations