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

DOI10.1007/s11786-012-0113-xzbMath1271.68221DBLPjournals/mics/KohlhaseR12OpenAlexW2058911426WikidataQ57389373 ScholiaQ57389373MaRDI QIDQ1948675

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

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

Related Items (1)

\(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model

Uses Software

• MMT
• OMDoc
• LATIN
• MathML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A scalable module system
• Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings
• A Foundational View on Integration Problems
• Project Abstract: Logic Atlas and Integrator (LATIN)
• Higher-order semantics and extensionality
• Mathematical Knowledge Management
• A formulation of the simple theory of types

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