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

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

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

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

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

Ссылки

^ Стееб, Вилли-Ханс; Харди, Йорик (март 2010 г.). Квантовая механика с использованием компьютерной алгебры: включает примеры программ на C++, SymbolicC++, Maxima, Maple и Mathematica (2-е изд.). МИРОВАЯ НАУЧНАЯ. дои : 10.1142/7751 . ISBN 978-981-4307-16-1 .
^ «Разложение Магнуса для периодических по времени систем: аппроксимации, зависящие от параметра» . Университет Аризоны . Проверено 29 марта 2024 г.
^ Англия, Мэтью; Кепф, Вольфрам; Садыков Тимур М.; Зайлер, Вернер М.; Ворожцов, Евгений В. (15 августа 2019 г.). Компьютерная алгебра в научных вычислениях: 21-й международный семинар, CASC 2019, Москва, Россия, 26–30 августа 2019 г., Труды . Спрингер. ISBN 978-3-030-26831-2 .
^ Грабмайер, Йоханнес; Кальтофен, Эрих; Вайспфеннинг, Волкер (6 декабря 2012 г.). Справочник по компьютерной алгебре: Основы · Приложения · Системы . Springer Science & Business Media. ISBN 978-3-642-55826-9 .

[1] Стееб, Вилли-Ханс; Харди, Йорик (март 2010 г.). Квантовая механика с использованием компьютерной алгебры: включает примеры программ на C++, SymbolicC++, Maxima, Maple и Mathematica (2-е изд.). МИРОВАЯ НАУЧНАЯ. дои : 10.1142/7751 . ISBN 978-981-4307-16-1 .

[2] «Разложение Магнуса для периодических по времени систем: аппроксимации, зависящие от параметра» . Университет Аризоны . Проверено 29 марта 2024 г.

[3] Англия, Мэтью; Кепф, Вольфрам; Садыков Тимур М.; Зайлер, Вернер М.; Ворожцов, Евгений В. (15 августа 2019 г.). Компьютерная алгебра в научных вычислениях: 21-й международный семинар, CASC 2019, Москва, Россия, 26–30 августа 2019 г., Труды . Спрингер. ISBN 978-3-030-26831-2 .

[4] Грабмайер, Йоханнес; Кальтофен, Эрих; Вайспфеннинг, Волкер (6 декабря 2012 г.). Справочник по компьютерной алгебре: Основы · Приложения · Системы . Springer Science & Business Media. ISBN 978-3-642-55826-9 .

[1]

[2]

[3]

[4]