Singular — система компьютерной алгебры для полиномиальных вычислений, в которой особое внимание уделяется коммутативной и некоммутативной алгебре, алгебраической геометрии и теории особенностей.
Система компьютерной алгебры (СКА / CAS / Computer Algebra System) — прикладное приложение для символьных вычислений, преобразования и работы с математическими равенствами и формулами как с последовательностью символов. Появились СКА в начале 1960-х годов и поэтапно развивались, в основном в двух направлениях (теоретическая физика и создание искусственного интеллекта).
Singular является одной из лучших система вычислительной алгебры, поставляется с самыми быстрыми алгоритмическими реализациями для базисов Грёбнера или стандартных базисов, включая алгоритм Мора и алгоритмы Бухбергера. Также предоставляет такие функции как полимерная факторизация, вычисления в свободном разрешении и многое другое...
Основными вычислительными объектами Singular являются идеалы и модули, причём охвачен большой выбор базовых колец или локализаций разных полей. Доступен широкий спектр алгоритмов, уже реализованных на C++, что обеспечивает высокую производительность и оптимизации. Предлагаемый СКА (CAS / Computer Algebra System) язык программирования похож на C (си) и интуитивно понятен, особенно для людей имеющих предварительные знания традиционных языков программирования.
Singular (TSingular) предлагает итеративный консольный интерфейс и большой набор полезных библиотек (доступно более 90 библиотек), интерфейс Emacs (ESingular), есть возможность загрузки динамических модулей. В качестве графического интерфейса можно использовать веб-интерфейс (WebUI) на основе Jupyter, доступна обширная документация.
Лицензия: GPLv2 / GPLv3
Вы можете войти под своим логином или зарегистрироваться на сайте.