Singular

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



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



Система компьютерной алгебры (СКА / CAS / Computer Algebra System) — прикладное приложение для символьных вычислений, преобразования и работы с математическими равенствами и формулами как с последовательностью символов. Появились СКА в начале 1960-х годов и поэтапно развивались, в основном в двух направлениях (теоретическая физика и создание искусственного интеллекта).



Singular является одной из лучших система вычислительной алгебры, поставляется с самыми быстрыми алгоритмическими реализациями для базисов Грёбнера или стандартных базисов, включая алгоритм Мора и алгоритмы Бухбергера. Также предоставляет такие функции как полимерная факторизация, вычисления в свободном разрешении и многое другое...



Основными вычислительными объектами Singular являются идеалы и модули, причём охвачен большой выбор базовых колец или локализаций разных полей. Доступен широкий спектр алгоритмов, уже реализованных на C++, что обеспечивает высокую производительность и оптимизации. Предлагаемый СКА (CAS / Computer Algebra System) язык программирования похож на C (си) и интуитивно понятен, особенно для людей имеющих предварительные знания традиционных языков программирования.



Singular (TSingular) предлагает итеративный консольный интерфейс и большой набор полезных библиотек (доступно более 90 библиотек), интерфейс Emacs (ESingular), есть возможность загрузки динамических модулей. В качестве графического интерфейса можно использовать веб-интерфейс (WebUI) на основе Jupyter, доступна обширная документация.



Лицензия: GPLv2 / GPLv3



Домашняя страница