Singular, es un sistema de álgebra computacional (CAS) para cálculos polinómicos con énfasis especial en las necesidades del álgebra conmutativa, de la geometría algebraica, y de la teoría de singularidades.