1. Preface

   • Hoon Hong
   • Dongming Wang
   • Franz Winkler

   EditorialNotes Pages: I - II

2. Elimination procedures for mechanical theorem proving in geometry

   • Dongming Wang

   OriginalPaper Pages: 1 - 24

3. Mechanical theorem proving in the local theory of surfaces

   • Ziming Li

   OriginalPaper Pages: 25 - 46

4. The dimension method in elementary and differential geometry

   • M. A. Alberti
   • G. Carrà Ferro
   • M. Torelli

   OriginalPaper Pages: 47 - 71

5. A generalized Euclidean algorithm for geometry theorem proving

   • Michael Kalkbrener

   OriginalPaper Pages: 73 - 95

6. Straightening Euclidean invariants

   • John P. Dalbec

   OriginalPaper Pages: 97 - 108

7. Automated production of traditional proofs for theorems in Euclidean geometry I. The Hilbert intersection point theorems

   • Jing-Zhong Zhang
   • Shang-Ching Chou
   • Xiao-Shan Gao

   OriginalPaper Pages: 109 - 137

8. Mechanical theorem proving in projective geometry

   • Jürgen Richter-Gebert

   OriginalPaper Pages: 139 - 172

9. A category of geometric spaces: Some computational aspects

   • Jochen Pfalzgraf

   OriginalPaper Pages: 173 - 193

10. Appendix: Short description of existing provers

    OriginalPaper Pages: 195 - 202