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