Home Publications Research Grants Inventions & Patents Awards Additional Research Activities Faculties & Institutions Research Areas

OMDoc: Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge

Kohlhase M (2001)

---

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2001

Publisher: Springer Verlag

Book Volume: 1930

Pages Range: 32-52

ISBN: 9783540449904

URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84974687882&origin=inward

Authors with CRIS profile

How to cite

APA:

Kohlhase, M. (2001). OMDoc: Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge. In Proceedings of the 5th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000 (pp. 32-52). Springer Verlag.

MLA:

Kohlhase, Michael. "OMDoc: Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge." Proceedings of the 5th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000 Springer Verlag, 2001. 32-52.

BibTeX: Download