OMDOC – An open markup format for mathematical documents

In this report we present a content markup scheme for (collections of) math-ematical 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 de-scribe 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 theOMDoc 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 variou