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 the representation of 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. 
BETA

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper

Citations

Publications citing this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…