OpenMath ist ein Standard zur Beschreibung der Semantik mathematischer Formeln. Im Gegensatz zu Satzprogrammen wie LaTeX, 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äsentatio...