Resolution
Global GMS
ES Strata
Build. Blocks
Comb. Appl.
HCA Proving
Arrangements
Branches
Classify
Coding
Deformations
Equidim Part
Existence
Finite Groups
Flatness
Genus
Hilbert Series
Membership
Nonnormal Locus
Normalization
Primdec
Puiseux
Plane Curves
Saturation
Solving
Space Curves
Spectrum
Classification of Hypersurface Singularities
Task: Classify singularities w.r.t. Arnold's classification scheme.

For example, decide whether a singularity is one of the Kleinian (also refered to as simple or ADE) singularities which are given by the following normal forms:
Ak: x1k+1 + x22 + x32 + ... + xn2 , k>= 1
Dk: x1(x1k-2 + x22) +x32 + ... + xn2 , k>= 4
E6: x14 + x23 + x32 + ... + xn2
E7: x2(x13 + x22) +x32 + ... + xn2
E8: x15 + x23 + x32 + ... + xn2

SINGULAR Code

KL, 06/03 http://www.singular.uni-kl.de