Analytica – An Experiment in Combining Theorem Proving and Symbolic Computation Andrej BauerEdmund ClarkeXudong Zhao OriginalPaper Pages: 295 - 325
Integrating Computer Algebra into Proof Planning Manfred KerberMichael KohlhaseVolker Sorge OriginalPaper Pages: 327 - 355
A New Approach for Automatic Theorem Proving in Real Geometry Andreas DolzmannThomas SturmVolker Weispfenning OriginalPaper Pages: 357 - 380
Well-Behaved Inference Rules for First-Order Theorem Proving Jinzhao WuZhuojun Liu OriginalPaper Pages: 381 - 400