Methods and means for semantic structuring of electronic mathematical documents

DOI10.1134/S1064562414050275zbMath1328.68288OpenAlexW2013227301MaRDI QIDQ5892023

V. D. Solov'ev, A. M. Elizarov, E. K. Lipachev, O. A. Nevzorova

Publication date: 17 December 2014

Published in: Doklady Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s1064562414050275

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Mathematical knowledge management (68V30)

Related Items

Mathematical knowledge ontologies and recommender systems for collections of documents in physics and mathematics, \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge, \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model, Mathematical knowledge representation: semantic models and formalisms, Creating the applied subject area ontology by means of the content of the digital semantic library

Uses Software

• sTeX

Cites Work

• Unnamed Item
• Using La\TeX\ as a semantic markup format
• Computerizing Mathematical Text with MathLang
• The information system Math-Net.Ru. Current state and prospects. The impact factors of Russian mathematics journals
• 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