This paper is devoted to the problems of ontology-based mathematical
kno...
In this article we consider the basic ideas, approaches and results of
d...
The paper provides a survey of semantic methods for solution of fundamen...
In this paper, we present an ontology of mathematical knowledge concepts...