singular 4.1.3p2 Computer algebra system for polynomial computations

Singular is a computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry and singularity theory.