2018
- 1. Компьютерная алгебра в задачах (тип: электронная)
2014
- 1. Программно-вычислительный комплекс для решения задач с конечными группами (тип: электронная)
2013
- 1. Программный способ вычисления топологий и исследования их свойств (тип: электронная)
2012
- 1. Вычисление групп гомоморфизмов и проверка гомоморфной устойчивости пар конечных групп (тип: электронная)