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

DOI10.1007/S11786-012-0113-XzbMATH Open1271.68221DBLPjournals/mics/KohlhaseR12OpenAlexW2058911426WikidataQ57389373 ScholiaQ57389373MaRDI QIDQ1948675FDOQ1948675

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

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

zbMATH Keywords

semantics\textsc{MathML}\textsc{OpenMath}

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• A scalable module system
• Project abstract: logic atlas and integrator (LATIN)
• Title not available (Why is that?)
• A formulation of the simple theory of types
• Higher-order semantics and extensionality
• Title not available (Why is that?)
• A foundational view on integration problems
• Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings
• Mathematical Knowledge Management

Cited In (5)

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

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)