SINGULAR
From Wikipedia, the free encyclopedia
SINGULAR is a computer algebra system for polynomial computations with special emphasis on the needs of commutative algebra, algebraic geometry, and singularity theory. Problems in non-commutative algebra can be tackled with the SINGULAR offspring PLURAL. SINGULAR was designed by Gert-Martin Greuel, Gerhard Pfister and Hans Schönemann.