ein spezialisiertes Computeralgebrasystem für Probleme der kommutativen Algebra und algebraischen Geometrie.

Es ist eines der wenigen Systeme, die effizient in Lokalisierungen vom Polynomenring rechnen können. Das System wurde Anfang der 90er Jahre unter Leitung von G.-M. Greuel, G. Pfister und H. Schönemann in Kaiserslautern entwickelt. Verglichen mit den Allzwecksystemen kann SINGULAR besonders effizient Gröbner-Basen und Syzygien berechnen und multivariate Polynome faktorisieren. SINGULAR besitzt eine C-ähnliche Programmiersprache, in welcher viele Bibliotheken (z. B. solche zur Berechnung der Primärzerlegung eines Ideals oder der Normalisierung eines Rings) programmiert sind.