Magnus

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

Magnus предоставляет интуитивно-понятный графический интерфейс, возможность параллельного запуска различных алгоритмов на одной и той же задаче, генетические алгоритмы, построение аппроксимаций для сложных задач.