Elizarov A.; Kirillovich A.; Lipachev E.; Nevzorova O.
(2017)
© Springer International Publishing AG 2017.A mathematical knowledge management technology is discussed, its basic ideas, approaches and results are based on targeted ontologies in the field of mathematics. The solution ...