Greuel, G.-M.; Pfister, G.; Schönemann, H. SINGULAR: A computer algebra system for singularity theory, algebraic geometry and commutative algebra. (English) Zbl 0902.14040 Comput. Sci. J. Mold. 5, No. 1(13), 3-9 (1997). 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. Reviewer: Aigli Papantonopoulou (Ewing) Cited in 1 ReviewCited in 16 Documents MSC: 14Q99 Computational aspects in algebraic geometry 13P99 Computational aspects and applications of commutative rings 68W30 Symbolic computation and algebraic computation Keywords:SINGULAR Software:SINGULAR × Cite Format Result Cite Review PDF