This chapter presents a variety of applications and projects that use the OMDoc format or are related to it in a substantive way.
Apart from the projects directly reported here, the
OMDoc format is used by the new research field of Mathematical Knowledge Management (
mkm; cf.
http://www.mkm-ig.org/), which combines researchers in mathematics, computer science, and library science. We refer the reader to the proceedings
of the annual
mkm conference [BC01b, Asp03, ABT04, Koh05b, BF06].