http://www.singular.uni-kl.de
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 philosopher's whetstone.)
Hugo Battus, Rekenen op taal 1983