OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge

@inproceedings{Kohlhase2000OMDOCTA,
  title={OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge},
  author={Michael Kohlhase},
  booktitle={AISC},
  year={2000}
}
In this paper we present an extension OMDoc to the OpenMath standard that allows to represent the semantics and structure of various kinds of mathematical documents, including articles, textbooks, interactive books, courses. It can serve as the content language for agent communication of mathematical services on a mathematical software bus. 
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Figures, tables, and topics from this paper.
61 Citations
12 References
Similar Papers

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…