External Links

    Journal: Journal of Automated Reasoning

    Volume 21, Issue 3

    279 -- 294John Harrison, Laurent Théry. A Skeptic s Approach to Combining HOL and Maple
    295 -- 325Andrej Bauer, Edmund M. Clarke, Xudong Zhao. Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation
    327 -- 355Manfred Kerber, Michael Kohlhase, Volker Sorge. Integrating Computer Algebra into Proof Planning
    357 -- 380Andreas Dolzmann, Thomas Sturm, Volker Weispfenning. A New Approach for Automatic Theorem Proving in Real Geometry
    381 -- 400Jinzhao Wu, Zhuojun Liu. Well-Behaved Inference Rules for First-Order Theorem Proving
    runs on