no code implementations • 16 Feb 2017 • Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev, Olga Nevzorova
In this article we consider the basic ideas, approaches and results of developing of mathematical knowledge management technologies based on ontologies.
no code implementations • 28 Aug 2014 • Alexander Elizarov, Alexander Kirillovich, Evgeny Lipachev, Olga Nevzorova, Valery Solovyev, Nikita Zhiltsov
The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management.