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

DOI10.1007/978-3-319-42432-3_58MaRDI QIDQ2819263zbMATH OpenOpenAlexDBLPWikidataFDO

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

Mathematics Subject Classification ID

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

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

Cites work

• A data model and encoding for a semantic, multilingual terminology of mathematics
• A scalable module system
• Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings
• 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

Describes a project that uses

Uses Software

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

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)