1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.DL2017★ 1 cited
OntoMath Digital Ecosystem: Ontologies, Mathematical Knowledge Analytics and Management
Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev +1
In this article we consider the basic ideas, approaches and results of developing of mathematical knowledge management technologies based on ontologies. These solutions form the ba…
cs.AI2014
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…