SINGULAR is a Computer Algebra System for polynomial computations with special emphasis on the needs of commutative algebra, algebraic geometry, and singularity theory.
Citation:
@TechReport{GPS01, author = {G.-M. Greuel and G. Pfister and H. Sch\"onemann}, title = {{\sc Singular} 2.0}, type = {{A Computer Algebra System for Polynomial Computations}}, institution = {Centre for Computer Algebra}, address = {University of Kaiserslautern}, year = {2001}, note = {{\tt http://www.singular.uni-kl.de}}, }