Singular 是一个用于多项式计算的开源计算机代数系统，特别侧重于交换代数、非交换代数、代数几何和奇点理论。
Singular 提供了：
高效的内核算法，
上述领域的多种先进算法，
直观且类似于 C 语言的编程语言，
通过库实现用户可扩展的便捷方式，以及
全面的在线手册和帮助功能。
Singular 的主要计算对象是大量基环上的理想、模和矩阵。这些基环包括：
各种基域上的多项式环以及某些环（包括整数环），
上述环的局部化，
一类广义的非交换代数（包括外代数和威耳代数），
上述环的商环，
上述环的张量积。
Singular 的核心算法处理：
格罗布纳基（或标准基）和自由分辨率，
多项式因式分解，
结果式、特征集以及数值根求解。