4 citations · 8 across the 5 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
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…
cs.AI2014★ 3 cited
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…