Semantics of \textsc{OpenMath} and \textsc{MathML3}

DOI10.1007/S11786-012-0113-XMaRDI QIDQ1948675zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Michael Kohlhase, Florian Rabe

Publication date 24 April 2013

Published in Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11786-012-0113-x

zbMATH Keywords

semantics\textsc{MathML}\textsc{OpenMath}

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• The freedom to extend OpenMath and its utility
• OpenMath
• Unifying Math Ontologies: A Tale of Two Standards
• scientific article; zbMATH DE number 1687007
• Mathematical Knowledge Management

Cites work

• scientific article; zbMATH DE number 3148408 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• A formulation of the simple theory of types
• A foundational view on integration problems
• A scalable module system
• Higher-order semantics and extensionality
• Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings
• Mathematical Knowledge Management
• Project abstract: logic atlas and integrator (LATIN)

Cited in

(5)

• Unifying Math Ontologies: A Tale of Two Standards
• OpenMath
• OpenMath Content Dictionaries for SI Quantities and Units
• Mathematical Knowledge Management
• \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model

Describes a project that uses

Uses Software

• MMT
• OMDoc
• LATIN
• MathML

This page was built for publication: Semantics of \textsc{OpenMath} and \textsc{MathML3}

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