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

DOI10.1007/978-3-319-42432-3_58zbMATH Open1434.68649DBLPconf/icms/GinevIJKKOSSTW16OpenAlexW2480870143WikidataQ57389304 ScholiaQ57389304MaRDI QIDQ2819263FDOQ2819263

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

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

Recommendations

• A Mathematical Approach to Ontology Authoring and Documentation
• \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge
• A data model and encoding for a semantic, multilingual terminology of mathematics
• scientific article; zbMATH DE number 1951641
• OntoMath\(^\mathit{Edu}\): a linguistically grounded educational mathematical ontology
• Ontology based approach to modeling of the subject domain ``mathematics in the digital library
• Unifying Math Ontologies: A Tale of Two Standards
• Contribution of the ontology engineering to mathematical knowledge management
• On the mathematics of modelling, metamodelling, ontologies and modelling languages.
• The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization

Mathematics Subject Classification ID

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

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

Cited In (3)

• OntoMath\(^\mathit{Edu}\): a linguistically grounded educational mathematical ontology
• A data model and encoding for a semantic, multilingual terminology of mathematics
• SMGLoM

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2819263)