Unifying Math Ontologies: A Tale of Two Standards

DOI10.1007/978-3-642-02614-0_23MaRDI QIDQ3637283zbMATH OpenOpenAlexWikidataFDO

Authors Michael Kohlhase, James H. Davenport

Publication date 9 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://opus.bath.ac.uk/13079/1/MKM2009v2.pdf

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for text processing; mathematical typography (68U15)

Recommendations

• Semantics of \textsc{OpenMath} and \textsc{MathML3}
• scientific article; zbMATH DE number 2079831
• The freedom to extend OpenMath and its utility
• OpenMath
• Mathematical knowledge representation. (Extended abstract)

Cites work

• A refinement of de Bruijn's formal language of mathematics
• scientific article; zbMATH DE number 5318491 (Why is no real title available?)
• scientific article; zbMATH DE number 826245 (Why is no real title available?)
• Unifying Math Ontologies: A Tale of Two Standards

Cited in

(5)

• Semantics of \textsc{OpenMath} and \textsc{MathML3}
• Searching for mathematical formulas based on graph representation learning
• The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
• Unifying Math Ontologies: A Tale of Two Standards
• OpenMath

Describes a project that uses

Uses Software

• OMDoc

This page was built for publication: Unifying Math Ontologies: A Tale of Two Standards

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3637283)