http://www.mathematik.uni-kl.de/~zca/Singular

A Computer Algebra System for Polynomial Computations

with special emphasize on the needs of algebraic geometry, commutative algebra, and singularity theory
G.-M. Greuel, G. Pfister, H. Schönemann
University of Kaiserslautern
Department of Mathematics; Centre for Computer Algebra
D-67663 Kaiserslautern

De computer is niet de steen, maar de slijpsteen der wijzen.
(The computer is not the philosopher's stone but the philosophers whetstone.)
Hugo Battus, Rekenen op taal 1983