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

инфраструктура знаний, математический артефакт, математическая онтология, представление математического знания, цифровая библиотека