1. Preface

   • Deepak Kapur
   • Dongming Wang

   OriginalPaper Pages: 277 - 278

2. A Skeptic's Approach to Combining HOL and Maple

   • J. Harrison
   • L. Théry

   OriginalPaper Pages: 279 - 294

3. Analytica – An Experiment in Combining Theorem Proving and Symbolic Computation

   • Andrej Bauer
   • Edmund Clarke
   • Xudong Zhao

   OriginalPaper Pages: 295 - 325

4. Integrating Computer Algebra into Proof Planning

   • Manfred Kerber
   • Michael Kohlhase
   • Volker Sorge

   OriginalPaper Pages: 327 - 355

5. A New Approach for Automatic Theorem Proving in Real Geometry

   • Andreas Dolzmann
   • Thomas Sturm
   • Volker Weispfenning

   OriginalPaper Pages: 357 - 380

6. Well-Behaved Inference Rules for First-Order Theorem Proving

   • Jinzhao Wu
   • Zhuojun Liu

   OriginalPaper Pages: 381 - 400