article

Free access

OMDoc: an infrastructure for OpenMath content dictionary information

Author:

Michael KohlhaseAuthors Info & Claims

ACM SIGSAM Bulletin, Volume 34, Issue 2

Pages 43 - 48

https://doi.org/10.1145/362001.362021

Published: 01 June 2000 Publication History

PDF eReader

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).

Cited By

View all

Zhang WYang KShrestha RPetry FZabom S(2010)Using OpenMath to present semantics of Geometric Algebra2010 42nd Southeastern Symposium on System Theory (SSST 2010)10.1109/SSST.2010.5442809(362-366)Online publication date: Mar-2010
https://doi.org/10.1109/SSST.2010.5442809
Shrestha RWatts MZhang WYang K(2009)Representing Clifford Algebra into OMDOC semantic formatJournal of Computing Sciences in Colleges10.5555/1516546.151656824:4(124-129)Online publication date: 1-Apr-2009
https://dl.acm.org/doi/10.5555/1516546.1516568
Yang KZhang WPetry FMcGregor J(2009)Building content dictionaries for geometric algebra in OMDoc formatProceedings of the 47th annual ACM Southeast Conference10.1145/1566445.1566507(1-5)Online publication date: 19-Mar-2009
https://dl.acm.org/doi/10.1145/1566445.1566507
Show More Cited By

Index Terms

OMDoc: an infrastructure for OpenMath content dictionary information

Recommendations

Representing Clifford Algebra into OMDOC semantic format

This paper describes about converting mathematical expressions from the Clifford Algebra textbook into Open Math Document (OMDoc) format. OMDoc is used to define mathematical theorems and semantics of mathematical objects and present the mathematical ...
OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge
AISC '00: Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation

In this paper we present an extension OMDoc to the OPEN-MATH 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 ...
Building content dictionaries for geometric algebra in OMDoc format
ACMSE '09: Proceedings of the 47th annual ACM Southeast Conference

This paper describes why and how to build Content Dictionaries for Geometric Algebra implemented in OMDoc format, an XML-based markup language. Geometric Algebra is a powerful and general language available for the development of mathematical physics. ...

Comments

Information & Contributors

Information

Published In

ACM SIGSAM Bulletin Volume 34, Issue 2

Special issue of OpenMath

June, 2000

71 pages

ISSN:0163-5824

DOI:10.1145/362001

Editors:
Mark Giesbrecht
Univ. of Western Ontario, London, Ont., Canada
,
Mike Dewar
The Numerical Algorithms Group, Oxford, U. K.

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2000

Published in SIGSAM Volume 34, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

17
Total Citations
View Citations
185
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Zhang WYang KShrestha RPetry FZabom S(2010)Using OpenMath to present semantics of Geometric Algebra2010 42nd Southeastern Symposium on System Theory (SSST 2010)10.1109/SSST.2010.5442809(362-366)Online publication date: Mar-2010
https://doi.org/10.1109/SSST.2010.5442809
Shrestha RWatts MZhang WYang K(2009)Representing Clifford Algebra into OMDOC semantic formatJournal of Computing Sciences in Colleges10.5555/1516546.151656824:4(124-129)Online publication date: 1-Apr-2009
https://dl.acm.org/doi/10.5555/1516546.1516568
Yang KZhang WPetry FMcGregor J(2009)Building content dictionaries for geometric algebra in OMDoc formatProceedings of the 47th annual ACM Southeast Conference10.1145/1566445.1566507(1-5)Online publication date: 19-Mar-2009
https://dl.acm.org/doi/10.1145/1566445.1566507
Chen XWang D(2007)Towards an Electronic Geometry TextbookAutomated Deduction in Geometry10.1007/978-3-540-77356-6_1(1-23)Online publication date: 2007
https://doi.org/10.1007/978-3-540-77356-6_1
Chen XWang D(2006)Towards an electronic geometry textbookProceedings of the 6th international conference on Automated deduction in geometry10.5555/1784950.1784951(1-23)Online publication date: 31-Aug-2006
https://dl.acm.org/doi/10.5555/1784950.1784951
Buchberger BCrǎciun AJebelean TKovács LKutsia TNakagawa KPiroi FPopov NRobu JRosenkranz MWindsteiger W(2006)Theorema: Towards computer-aided mathematical theory explorationJournal of Applied Logic10.1016/j.jal.2005.10.0064:4(470-504)Online publication date: Dec-2006
https://doi.org/10.1016/j.jal.2005.10.006
Allen SBickford MConstable REaton RKreitz CLorigo LMoran E(2006)Innovations in computational type theory using NuprlJournal of Applied Logic10.1016/j.jal.2005.10.0054:4(428-469)Online publication date: Dec-2006
https://doi.org/10.1016/j.jal.2005.10.005
Shirota Y(2005)A Semantic Explanation and Symbolic Computation Approach for Designing Mathematical CoursewareProceedings of the Third International Conference on Creating, Connecting and Collaborating through Computing10.1109/C5.2005.4(158-165)Online publication date: 28-Jan-2005
https://dl.acm.org/doi/10.1109/C5.2005.4
Shirota Y(2005)Design of automation systems for web based courseware using XML and XSLTProceedings of the 4th international conference on Databases in Networked Information Systems10.1007/978-3-540-31970-2_15(186-203)Online publication date: 28-Mar-2005
https://dl.acm.org/doi/10.1007/978-3-540-31970-2_15
Nakagawa KSuzuki M(2005)Mathematical knowledge browser with automatic hyperlink detectionProceedings of the 4th international conference on Mathematical Knowledge Management10.1007/11618027_13(190-202)Online publication date: 15-Jul-2005
https://dl.acm.org/doi/10.1007/11618027_13
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Representing Clifford Algebra into OMDOC semantic format

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

Building content dictionaries for geometric algebra in OMDoc format

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations