Zum Inhalt springen
uencoder

OpenMath

OpenMath ist ein XML-basierter semantischer Standard zur Kodierung mathematischer Objekte, komplementär zu MathML Content, der strenge Semantik über Darstellung stellt.

Zweck

Eindeutige, streng semantische Darstellungen mathematischer Objekte zwischen Computeralgebrasystemen und Anwendungen austauschen.

Mechanismus

Es beschreibt Mathematikobjekte mit einer <OMOBJ>-Wurzel und den Elementen <OMA> (Anwendung), <OMV> (Variable), <OMI> (Ganzzahl) und <OMS> (Symbol, referenziert ein Content Dictionary). Content Dictionaries definieren die Symbolsemantik.

Anwendungsfälle

  • Interoperabilität von Computeralgebrasystemen
  • Mathematische Wissensbasen
  • Strenger semantischer Austausch

Verwandte Tools

References