OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] | Zendy

Michael Kohlhase | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]

Author(s) -

Michael Kohlhase

Publication year - 2006

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/11826095

Subject(s) - computer science , markup language , programming language , sgml , xml , information retrieval , xhtml , world wide web , document structure description

In this report we present a content markup scheme for (collections of) mathematical documents including articles, textbooks, interactive books, and courses. It can serve as the content language for agent communication of mathematical services on a mathematical software bus. We motivate and describe the OMDoc language and present an Xml document type definition for it. Furthermore, we discuss applications and tool support. This document describes version 1.1 of the OMDoc format. This version is mainly a bug-fix release that has become necessary by the experiments of encoding legacy material and theorem prover interfaces in OMDoc. The changes are relatively minor, mostly adding optional fields. Version 1.1 of OMDoc freezes the development so that version 2.0 can be started off. In contrast to the OMDoc format which has not changed much, this report is a total re-write, it closes many documentation gaps, clarifies various remaining issues. and adds a multitude of new examples.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research