WikiDer > Магнус (система компьютерной алгебры)

Magnus (computer algebra system)
Магнус
Разработчики)Теоретический кооператив Нью-Йорка, Городской университет Нью-Йорка
Операционная системаКроссплатформенность
ТипСистема компьютерной алгебры
ЛицензияGPL
Интернет сайтSourceforge.сеть/ проекты/Магнус/

Магнус был система компьютерной алгебры предназначен для решения проблем в теория групп. Он был разработан для работы на Unix-подобный операционные системы, а также Windows. Процесс разработки был начат в 1994 году, а первая публичная версия появилась в 1997 году. Проект был заброшен в августе 2005 года. Уникальной особенностью Magnus было то, что он предоставлял средства для выполнения вычислений в бесконечных группах и вокруг них. Почти все системы символьной алгебры ориентированы на конечные вычисления, которые гарантированно дают ответы при наличии достаточного времени и ресурсов. Напротив, Магнус занимался экспериментами и вычислениями на бесконечных группах, которые в некоторых случаях, как известно, заканчиваются, в то время как в других, как известно, обычно рекурсивно неразрешимы.

Особенности Магнуса

  • Пользовательский интерфейс на основе графических объектов и методов, который прост и интуитивно понятен в использовании и естественно отражает лежащие в основе классы C ++;
  • Ядро, состоящее из «диспетчера сеансов» для связи между пользовательским интерфейсом или клиентской частью и серверной частью, где выполняются вычисления, и «диспетчеров вычислений», которые управляют вычислениями, которые могут включать несколько алгоритмов и «информацию». центры », где хранится информация;
  • Средства для параллельного выполнения нескольких процедур и распределения ресурсов для каждого из нескольких одновременных алгоритмов, работающих над одной и той же проблемой;
  • Счетчики, которые генерируют значительные конечные приближения как к конечным, так и к бесконечным алгебраическим объектам и позволяют выполнять поиск ответов, даже когда общие алгоритмы могут не существовать;
  • Инновационные генетические алгоритмы;
  • Менеджер пакетов для «подключения» более специализированных алгоритмов, написанных другими;