OMDoc

OMDoc is a markup format and data model for Open Mathematical Documents.

OMDoc serves as semantics-oriented representation format and ontology language for mathematical knowledge. Format, Distribution, Examples

The current stable version is OMDoc1.2 (see the OMDoc1.2 Book), but work on OMDoc1.6, the first step towards OMDoc2.0 has begun.

OMDoc.org serves as a community portal for the OMDoc community and as a clearinghouse for information about OMDoc-based projects and extensions to other sciences.

Overview Of OpenMath

OpenMath is an emerging standard for representing mathematical objects with their semantics, allowing them to be exchanged between computer programs, stored in databases, or published on the worldwide web. While the original designers were mainly developers of computer algebra systems, it is now attracting interest from other areas of scientific computation and from many publishers of electronic documents with a significant mathematical content. There is a strong relationship to the MathML recommendation from the Worldwide Web Consortium, and a large overlap between the two developer communities. MathML deals principally with the presentation of mathematical objects, while OpenMath is solely concerned with their semantic meaning or content. While MathML does have some limited facilities for dealing with content, it also allows semantic information encoded in OpenMath to be embedded inside a MathML structure. Thus the two technologies may be seen as highly complementary.