Elizarov A.; Kirilovich A.; Lipachev E.; Nevzorova O.
(2016)
This paper is discussed basic ideas, approaches and the results obtained in the research project the objective of which is to develop mathematical knowledge management technologies based on ontologies. We are developing ...