Singular - система компьютерной алгебры с открытым исходным кодом для полиномиальных вычислений с особым упором на коммутативную и некоммутативную алгебру, алгебраическую геометрию и теорию особенностей. Singular обеспечивает: высокоэффективные основные алгоритмы, множество современных алгоритмов в вышеуказанных областях, интуитивный, C-подобный язык программирования, простые способы сделать его доступным для пользователей через библиотеки, а также всеобъемлющую онлайн-справочную и справочную функцию. Его основными вычислительными объектами являются идеалы, модули и матрицы над большим количеством базойров. К ним относятся: полиномиальные кольца над различными наземными полями и некоторые кольца (в том числе целые), локализации вышеперечисленного, общий класс некоммутативных алгебр (включая внешнюю алгебру и алгебру Вейля), фактор-кольца выше, тензорные произведения выше. Основные алгоритмы Singular handleGröbner соответственно. стандартные базы и свободные разрешения, полиномиальная факторизация, результирующие, характеристические множества и численный поиск корней.
