Unifying Math Ontologies: A Tale of Two Standards-Reference-Cited by-同舟云学术

Unifying Math Ontologies: A Tale of Two Standards

Published:2009 Issue: Volume: Page:263-278
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Davenport James H.,Kohlhase Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02614-0_23

Reference16 articles.

1. Apostol, T.M.: Calculus, 2nd edn., vol. II. Blaisdell (1967)

2. Borwein, P., Erdélyi, T.: Polynomials and Polynomial Inequalities. Springer Graduate Texts in Mathematics, vol. 161 (1995)

3. Carlisle, D., Davenport, J., Dewar, M., Hur, N., Naylor, W.: Conversion between MathML and OpenMath. Technical report, The OpenMath Society (2001)

4. The OpenMath Consortium. OpenMath Standard 2.0 (2004), http://www.openmath.org/standard/om20-2004-06-30/omstd20.pdf

5. World-Wide Web Consortium. Mathematical Markup Language (MathML) Version 2.0 (Second Edition): W3C Recommendation, October 21 (2003), http://www.w3.org/TR/MathML2/

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

1. A Semantic Model to Express Process Parameters and their Interdependencies in Manufacturing;2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE);2023-06-19

2. Searching for Mathematical Formulas Based on Graph Representation Learning;Lecture Notes in Computer Science;2021

3. Recognition and retrieval of mathematical expressions;International Journal on Document Analysis and Recognition (IJDAR);2011-10-26

4. Keyword and image-based retrieval of mathematical expressions;SPIE Proceedings;2011-01-23