4 citations · 8 across the 4 of their papers we have counts for
1 paper · 2 filters
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…