OpenMath and MathML: semantic markup for mathematics-Reference-Cited by-同舟云学术

OpenMath and MathML: semantic markup for mathematics

Published:1999-11 Issue:2 Volume:6 Page:11-14
ISSN:1528-4972
Container-title:XRDS: Crossroads, The ACM Magazine for Students
language:en
Short-container-title:XRDS

Author:

Caprotti O.,Carlisle D.

Abstract

Unambiguous representation of mathematics is crucial for communications among humans or among computer systems. OpenMath is a standard aimed at supporting a semantically rich interchange of mathematics among varied computational software tools such as computer algebra systems, theorem provers, and tools for visualizing or editing mathematical text. MathML is a W3C Recommendation for the encoding of mathematics 'on the web' which also includes mechanisms for encoding mathematical semantics. We introduce each of these two languages and describe their relationships.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/333104.333110

Reference11 articles.

1. 1 John A. Abbott and André van Leeuwen and A. Strotmann OpenMath Communicating Mathematical Information between Co-operating Agents in a Knowledge Network. 1998 http://www.brunel.ac.uk/~hssrjis/issue/index8.html 1 John A. Abbott and André van Leeuwen and A. Strotmann OpenMath Communicating Mathematical Information between Co-operating Agents in a Knowledge Network . 1998 http://www.brunel.ac.uk/~hssrjis/issue/index8.html

2. 2 S. Dalmas and M. Gaëtano and S. Watt An OpenMath 1.0 Implementation. 1997 Proceedings of ISSAC 97 ACM Press. 10.1145/258726.258794 2 S. Dalmas and M. Gaëtano and S. Watt An OpenMath 1.0 Implementation . 1997 Proceedings of ISSAC 97 ACM Press. 10.1145/258726.258794

3. 3 The Esprit OpenMath Consortium The OpenMath Standard. 1999 http://www.nag.co.uk/projects/OpenMath.html. 3 The Esprit OpenMath Consortium The OpenMath Standard . 1999 http://www.nag.co.uk/projects/OpenMath.html.

4. 4 W3C Math Working Group Stephen Buswell et al. Mathematical Markup Language (MathML) 1.0 Specification. 1998 http://www.w3.org/TR/REC-MathML/. 4 W3C Math Working Group Stephen Buswell et al. Mathematical Markup Language (MathML) 1.0 Specification . 1998 http://www.w3.org/TR/REC-MathML/.

5. 5 World Wide Web Consortium Home Page http://www.w3c.org/. 5 World Wide Web Consortium Home Page http://www.w3c.org/.

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Adapting modeling and simulation credibility standards to computational systems biology;Journal of Translational Medicine;2023-07-26

2. IrisMath: A Blind-Friendly Web-Based Computer Algebra System;IEEE Access;2023

3. A Bi-Directional Extensible Interface Between Lean and Mathematica;Journal of Automated Reasoning;2022-01-30

4. Binary vector transformation of math formula for mathematical information retrieval;Journal of Intelligent & Fuzzy Systems;2019-05-14

5. Building performance evaluation using OpenMath and Linked Data;Energy and Buildings;2018-09