GAP - это система компьютерной алгебры для вычислительной дискретной алгебры с особым вниманием к вычислительной теории групп. Возможности системы GAP можно расширить используя внешние пакеты и библиотеки.
На сайте goida-soft.ru можно найти приложения на различные операционные системы.