Elizarov Aleksandr Mihajlovich; Kirillovich Alexander Vitalevich; Lipachev Evgeny Konstantinovich; Nevzorova Olga Avenirovna
(2017)
We are presenting semantic methods of search for mathematical objects in scientific publications. In particular, methods of search for mathematical formulas, as well as methods based on the logical structure of mathematical ...