Realisierungsweg: Arbeiten Anderer nutzen: OmDoc [Michael Kohlhase et al]

Open Mathematics Format for Documents
ist eine Sprache, um auch für andere Fachgebiete semantische Inhalte maschinenlesbar zu beschreiben.

OmDoc hat mehrere Schichten:

  1. LaTeX.
  2. XML für die formale Organisation des Textes.
  3. content-MathML für mathematische Notationen.
  4. logische Strukturen.
12 Seite 12a