Singular

Singular is a computer algebra system for polynomial computations, with

special emphasis on commutative and non-commutative algebra, algebraic

geometry, and singularity theory.