• Resolution of Singularities (not yet distributed)

• Global Gauß-Manin Systems and Invariants (not yet distributed)

• Equisingular Strata of Plane Curve Singularities

Further examples:

• Building Blocks

• Combined Applications

• "Human-Computer-Aided Proving"