Elizarov Aleksandr Mihajlovich; Kirillovich Alexander Vitalevich; Lipachev Evgeny Konstantinovich; Nevzorova Olga Avenirovna
(2017)
We consider the basic ideas, approaches and results of developing of mathematical knowledge management technologies based on ontologies.
These solutions form the basis of a specialized digital ecosystem OntoMath which ...