SINGULAR: A computer algebra system for singularity theory, algebraic geometry and commutative algebra (Q1388083)

SINGULAR, as pointed out by the authors is a computer algebra system designed especially for commutative algebra, algebraic geometry and singular theory. For almost all computations SINGULAR requires a base ring. Computations are possible over such base rings as: polynomial rings, localizations of polynomial rings, quotient of such rings, exterior algebras, Weyl algebras and tensor products. The main algorithms are very general standard Gröbner basis algorithms, and include algorithms for the usual ideal theoretic operations, for different syzygy problems, for computing invariants of singularities and semiuniversal deformations of isolated singularities. SINGULAR contains several libraries to which the user may add more procedures.