Gap
Описание:
Свободная система вычислительной алгебры, в частности вычислительной теории групп. Gap предоставляет язык программирования, библиотеку алгебраических алгоритмов, написанную на этом языке. Gap используется в исследованиях и изучениях различных алгебраических и комбинаторных структур.