Kohlhase, Michael: OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
53.49 EUR
Dieses Buch führt durch das OMDoc‑Format, erläutert die semantische Struktur mathematischer Dokumente und zeigt anhand konkreter XML-Beispiele, wie Formeln, Definitionen und Beweise präzise kodiert werden können.