OMDOC Publications

OMDoc Publications

• OMDoc: An Open Markup Format for Mathematical Documents (Version 1.2) (the technical specification, Primer, and discussion of OMDoc) Number 4180 in Lecture Notes in Artificial Intelligence (LNAI), Springer Verlag, 2006. (Errata, LNAI 4810 with Corrections, bib)
• OMDoc: An Open Markup Format for Mathematical Documents (Version 1.1)
• OMDoc: Towards an Internet Standard for the Administration, Distribution and Teaching of mathematical Knowledge Proceedings of "Artificial Intelligence and Symbolic Computation" Springer LNAI, 2000.
• OMDoc: An Infrastructure for OpenMath Content Dictionary Information Bulletin of the ACM Special Interest Group for Algorithmic Mathematics SIGSAM, 2000.
• Conception d'une librairie OMDoc pour FoC (Manuel Maarek's master's thesis), 2002.
• Towards Collaborative Content Management And Version Control For Structured Mathematical Knowledge MKM 03
• Manuel Maarek and Virgile Prevosto. Focdoc: The documentation system of FoC. In Proceedings of the 11th Calculemus Symposium, September 2003.