The package shape provides a set of tools to compute with shape represented by semi-algebraic models, including
Topology and arrangement of algebraic curves
Topology of surfaces
Intersection of parametric surfaces
Auto-intersection of parametric surfaces