| Overview |
| Objects |
| Functionality |
| Libraries |
| Examples |
| Applications |
| Availability |
| History |
| Contributors |
| Future |
- Singularities of Plane Curves
- Geometric Genus of Projective Curves
- Local Branches of a Space Curve Singularity
- Equisingular Strata
- Flattening Stratification
- Non-Normal Locus of an Affine Ring
- Resolution of Singularities
- Coding Theory
<-- Building Blocks
--> "Human-Computer-Aided Proving"