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

    Volume 21, Issue 2

    135 -- 175Larry Wos. Automating the Search for Elegant Proofs
    177 -- 203Geoff Sutcliffe, Christian B. Suttner. The TPTP Problem Library - CNF Release v1.2.1
    205 -- 231Andrei Voronkov. Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid ::::E::::-Unification
    233 -- 275Jacques Chazarain, Serge Muller. Automated Synthesis of Recursive Programs from a forall-exists Logical Specification

    Volume 21, Issue 1

    1 -- 21Hongbo Li, Cheng Minteh. Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry
    23 -- 38Hoon Hong, Dalibor Jakus. Testing Positiveness of Polynomials
    39 -- 67James J. Lu, Neil V. Murray, Erik Rosenthal. A Framework for Automated Reasoning in Multiple-Valued Logics
    69 -- 97Kenneth Kunen. Nonconstructive Computational Mathematics
    99 -- 134Christian B. Suttner, Geoff Sutcliffe. The CADE-14 ATP System Competition
    runs on