OMDoc: An infrastructure for openmath content dictionary information (2000)
| Venue: | BULLETIN OF THE ACM SPECIAL INTEREST GROUP ON SYMBOLIC AND AUTOMATED MATHEMATICS (SIGSAM |
| Citations: | 8 - 2 self |
BibTeX
@INPROCEEDINGS{Kohlhase00omdoc:an,
author = {Michael Kohlhase},
title = {OMDoc: An infrastructure for openmath content dictionary information},
booktitle = {BULLETIN OF THE ACM SPECIAL INTEREST GROUP ON SYMBOLIC AND AUTOMATED MATHEMATICS (SIGSAM},
year = {2000},
pages = {34--2},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The OpenMath framework for transmitting mathematical objects over the Internet relies on the concept of Content Dictionaries (CDs) to define the semantics of mathematical objects. This is an essential measure for establishing a meaningful communication amongst mathematical software systems (and humans). Currently, the infrastructure for conceiving, administering, viewing CDs is limited to a file-based almost flat repository. In this paper, we propose to use the OMDoc extension of the OpenMath Xml encoding as an infrastructure to express and manipulate content dictionary information. OMDoc extends OpenMath by adding support for document markup (making the CDs more readable to the human user) and structured specification (making them more explicit, formal, and allow the user to reuse, and inherit CD information in a flexible, but well-defined way).
