OMDoc Applications and Projects
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].
KeywordsTheorem Prover Computer Algebra System Proof Obligation Authoring Tool Proof Assistant
Unable to display preview. Download preview PDF.