Outline
Overview
Ext
Primdec
Normalize
MuPAD
Deform
Classify
Puiseux
Future
Baserings
polynomial rings
series rings, i.e., a localization of a polynomial ring at a prime ideal
factor ring by an ideal of one of the above
tensor products of one of the above
ICM'98
http://www.mathematik.uni-kl.de/~zca/Singular