Semantics of \textsc{OpenMath} and \textsc{MathML3}
type: Item
instance of: scholarly article
title: Semantics of \textsc{OpenMath} and \textsc{MathML3}
zbMATH Open document ID: 1271.68221
author: Michael Kohlhase
author: Florian Rabe
published in: Mathematics in Computer Science
publication date: 2013-04-24T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6157176
zbMATH Keywords: \textsc{OpenMath}
zbMATH Keywords: \textsc{MathML}
zbMATH Keywords: semantics
describes a project that uses: OMDoc
describes a project that uses: MathML
describes a project that uses: MMT
describes a project that uses: LATIN
MaRDI profile type: Publication
full work available at URL: s11786-012-0113-x
OpenAlex ID: W2058911426
Wikidata QID: Q57389373
cites work: Higher-order semantics and extensionality
cites work: Q3714043
cites work: Project Abstract: Logic Atlas and Integrator (LATIN)
cites work: A formulation of the simple theory of types
cites work: Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings
cites work: A Foundational View on Integration Problems
cites work: Q3727946
cites work: A scalable module system
cites work: Mathematical Knowledge Management
cites work: Q3265664
DBLP publication ID: journals/mics/KohlhaseR12
DOI: 10.1007/S11786-012-0113-X
description: scientific article; zbMATH DE number 6157176