OpenMath
OpenMath ist ein Standard zur Beschreibung mathematischer Semantik. Im Gegensatz zu Satz- oder Darstellungsprogrammen wie LaTeX oder MathML, die Formeln nur darstellen, versucht OpenMath den mathematischen Inhalt mit seinen eigenen Gesetzmäßigkeiten zu repräsentieren. OpenMath kann dazu verwendet werden, die Semantik von Formeln zu beschreiben, deren Präsentation in MathML notiert ist.
Umfang
Neben Formeln („OpenMath Objects“) können in „OpenMath Content Dictionaries“ die in Formeln verwendeten Symbole definiert werden. Es gibt einen Satz standardisierter Content Dictionaries, in der die aus Content MathML bekannten Symbole vordefiniert sind.
OMDoc für größere Kontexte
Um OpenMath-Formeln in größere Kontexte einzubetten, kann das Format OMDoc verwendet werden. OMDoc stellt Strukturen für mathematische Aussagen wie etwa Definition, Satz, Beweis und Beispiel bereit, die OpenMath-Formeln enthalten können. Gruppen von kontextuell aufeinander bezogenen Aussagen können zu Theorien zusammengefasst werden. Als Sammlung von Symboldefinitionen betrachtet, ist eine OpenMath-Theorie kompatibel zu einem OpenMath Content Dictionary.