Unifying Math Ontologies: A Tale of Two Standards

DOI10.1007/978-3-642-02614-0_23zbMath1247.68268OpenAlexW1593677096WikidataQ57389417 ScholiaQ57389417MaRDI QIDQ3637283

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)

Related Items (2)

Searching for mathematical formulas based on graph representation learning ⋮ Unifying Math Ontologies: A Tale of Two Standards

Uses Software

• OMDoc

Cites Work

• A refinement of de Bruijn's formal language of mathematics
• Unifying Math Ontologies: A Tale of Two Standards
• Unnamed Item
• Unnamed Item

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