OpenMath encodes the semantics, i.e. the meaning of mathematical formulas. It uses so called content dictionaries which define the meanings of symbols used in the formula. These content dictionaries are referenced by URI. This makes OpenMath extensible. Every formula can be encoded, even if it uses symbols of a new theory. OpenMath can not encode how a formula is presented to the user. If you need that, take a look at MathML.
http://www.openmath.org/standard/om20-2004-06-30/omstd20html-0.xml
Title: Specification
Description: Specification of OpenMath Version 2
http://www.openmath.org/standard/om20-2004-06-30/omstd20html-0.xml
Title: Specification
Description: Specification of OpenMath Version 2
This file was generated from an RDF graph using Fresnel and an XSLT stylesheet. However, development of those is not finished.
This presentation was generated on 2009-10-18