| Classify |
| Coding |
| Deformations |
| Equidim Part |
| Existence |
| Finite Groups |
| Flatness |
| Genus |
| Hilbert Series |
| Membership |
| Monodromy |
| Normalization |
| Primdec |
| Puiseux |
| Plane Curves |
| Solving |
| Space Curves |
| Spectrum |
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 |