The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics

DOI10.1007/978-3-319-42432-3_58zbMath1434.68649OpenAlexW2480870143WikidataQ57389304 ScholiaQ57389304MaRDI QIDQ2819263

Constantin Jucovshi, Olaf Teschke, Mihnea Iancu, Deyan Ginev, Tom Wiesing, Michael Kohlhase, Akbar Oripov, Wolfram Sperber, Jürgen Schefter, Andrea Kohlhase

Publication date: 28 September 2016

Published in: Mathematical Software – ICMS 2016 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-42432-3_58

Mathematics Subject Classification ID

Knowledge representation (68T30) Mathematical knowledge management (68V30)

Related Items (1)

SMGLoM

Uses Software

• WordNet
• MMT
• OMDoc
• NNexus
• GitHub
• sTeX

Cites Work

• A scalable module system
• Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings
• A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
• NNexus Reloaded

This page was built for publication: The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics