Mathematical knowledge representation: semantic models and formalisms

DOI10.1134/S1995080214040143zbMath1323.68472arXiv1408.6806OpenAlexW2083780266WikidataQ124880292 ScholiaQ124880292MaRDI QIDQ2263116

V. D. Solov'ev, Alexander Kirillovich, E. K. Lipachev, N. G. Zhiltsov, A. M. Elizarov, O. A. Nevzorova

Publication date: 17 March 2015

Published in: Lobachevskii Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1408.6806

zbMATH Keywords

information retrievalmathematical knowledgemath formula searchontology engineeringmetadata extraction

Mathematics Subject Classification ID

Knowledge representation (68T30) Information storage and retrieval of data (68P20)

Related Items (7)

10 years later: the Mathematics Subject Classification and Linked Open Data ⋮ Mathematical knowledge ontologies and recommender systems for collections of documents in physics and mathematics ⋮ Logical analysis of emotions in text from natural language ⋮ \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge ⋮ Development of the semantic space ``mathematics by integrating a subspace of its applied area ⋮ \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model ⋮ Creating the applied subject area ontology by means of the content of the digital semantic library

Uses Software

• Coq
• CRAN
• Mizar
• DLMF
• ASCIIMathML
• OMDoc
• MathJax
• WolframAlpha
• CTAN
• sTeX
• TeX

Cites Work

• Using La\TeX\ as a semantic markup format
• The Mizar Mathematical Library in OMDoc: translation and applications
• Mathematics and the World Wide Web
• Computerizing Mathematical Text with MathLang
• MathJax: A Platform for Mathematics on the Web
• Handbook on Ontologies
• A Review of Mathematical Knowledge Management
• Knowledge engineering: Principles and methods
• The challenge of computer mathematics
• The information system Math-Net.Ru. Application of contemporary technologies in the scientific work of mathematicians
• Methods and means for semantic structuring of electronic mathematical documents
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Mathematical knowledge representation: semantic models and formalisms