Thumbnail
Access Restriction
Subscribed

Author Kohlhase, Michael
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Domain (in DDC) Natural sciences & mathematics ♦ Mathematics ♦ Algebra
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).
Description Affiliation: FB Informatik, Universität des Saarlandes, , Saarbrücken (Kohlhase, Michael)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1998-12-01
Publisher Place New York
Journal ACM SIGSAM Bulletin (SIGS)
Volume Number 34
Issue Number 2
Page Count 6
Starting Page 43
Ending Page 48


Open content in new tab

   Open content in new tab
Source: ACM Digital Library