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.