4 citations · 7 across the 3 of their papers we have counts for
3 papers
OntoMath 2.0 Ontology: Updates of the Formal Model
Alexander Kirillovich, Olga Nevzorova, Evgeny Lipachev
This paper is devoted to the problems of ontology-based mathematical knowledge management and representation. The main attention is paid to the development of a formal model for th…
Mathematical Knowledge Representation: Semantic Models and Formalisms
Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev +3
The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed. We propose…
Ontology: A Linked Data Hub for Mathematics
Olga Nevzorova, Nikita Zhiltsov, Alexander Kirillovich +1
In this paper, we present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comp…