An approach to the implementation of a recommender system based on ontologies of mathematical knowledge is presented. On the basis of a document browsed by a user, the system forms on line a list of recommendations, which ...

Предложены методы интеграции электронных математических коллекций Казанского университета в цифровые математические библиотеки. Представлены алгоритмы пополнения электронных коллекций цифровой математической библиотеки ...

Предложен метод автоматической обработки больших коллекций физико-математических документов, хранящихся в формате OpenXML, включающий валидацию документов и их преобразование в соответствии с правилами формирования коллекций, ...

Представлены основные идеи, подходы и уже полученные результаты, развиваемые в рамках проекта по разработке технологий управления математическими знаниями на основе онтологий.