Overview of SINGULAR
SINGULAR is a Computer Algebra System for polynomial computations with special emphasis on the needs of commutative algebra, algebraic geometry, and Singularity theory.
Here are some of the most important features of SINGULAR:
Main computational objects: ideals/modules over very general polynomial rings over various ground fields.
Large variety of algorithms implemented in kernel (written in C/C++).
Many more algorithms implemented as SINGULAR libraries.
Intuitive, C-like programming language.
Extensive documentation: Manual (info, ps, and html), Publications.