Академия наук Республики Татарстан
«Разработка семантических программных инструментов для повышения качества математического образования в Республике Татарстан». Этап 2019 г.: «Разработка доменного уровня образовательной математической онтологии OntoMathEdu и связывание хранилища формул с соответствующими концептами онтологии»