Abstract
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].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kohlhase, M. (2006). OMDoc Applications and Projects. In: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. Lecture Notes in Computer Science(), vol 4180. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11826095_30
Download citation
DOI: https://doi.org/10.1007/11826095_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37897-6
Online ISBN: 978-3-540-37898-3
eBook Packages: Computer ScienceComputer Science (R0)