| Overview |
| Objects |
| Functionality |
| Libraries |
| Examples |
| Applications |
| Availability |
| History |
| Contributors |
| Future |
- Ideal Membership
- Hilbert Series
- Equidimensional Part (via Ext-groups)
- Primary Decomposition
- Saturation
- Normalization of Rings
- Classification of Hypersurface Singularities
- Deformations of Singularities
- Puiseux Expansion
- Spectrum and V-Filtration
- Symbolic-Numerical Solving
--> "Human-Computer-Aided Proving"