1. Vectorial Equations Solving for Mechanical Geometry Theorem Proving

   • Hongbo Li

   OriginalPaper Pages: 83 - 121

2. Managing Structural Information by Higher-Order Colored Unification

   • Dieter Hutter
   • Michael Kohlhase

   OriginalPaper Pages: 123 - 164

3. Erratum

   Erratum Pages: 165 - 165