Preface
A Skeptic's Approach to Combining HOL and Maple
Analytica – An Experiment in Combining Theorem Proving and Symbolic Computation
Integrating Computer Algebra into Proof Planning
A New Approach for Automatic Theorem Proving in Real Geometry
Well-Behaved Inference Rules for First-Order Theorem Proving