Вычислительная алгебра
Gap
Свободная система вычислительной алгебры, в частности вычислительной теории групп. Gap предоставляет язык программирования, библиотеку алгебраических алгоритмов, написанную на этом языке. Gap используется в исследованиях и изучениях различных алгебраических и комбинаторных структур.
Magnus
Свободная система вычислительной теории групп. Magnus предоставляет возможности для вычисления в бесконечных группах. Практически все алгебраические системы ориентированны на конечные вычисления, для которых гарантировано завершение за некоторое конечное время. Magnus, напротив, занимается экспериментами и вычислениями на бесконечных группах.
Magnus предоставляет интуитивно-понятный графический интерфейс, возможность параллельного запуска различных алгоритмов на одной и той же задаче, генетические алгоритмы, построение аппроксимаций для сложных задач.