Управление математическими знаниями: онтологические модели и цифровые технологии (Mathematical Knowledge Management: Ontological Models and Digital Technology).