Gap

Описание: 

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