Proof Planning with Multiple Strategies (2000)

Cached

Download Links

by Erica Melis , Andreas Meier
Venue:In Proc. of the First International Conference on Computational Logic
Citations:53 - 34 self

Documents Related by Co-Citation

267 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
80 AI-Techniques in Proof Planning – Erica Melis - 1998
23 Comparing approaches to the exploration of the domain of residue classes – Andreas Meier, Martin Pollet, Volker Sorge - 2002
18 Exploring Properties of Residue Classes – Andreas Meier, Volker Sorge - 2000
23 The Maple Handbook: Maple V Release 5 – D Redfern - 1998
12 Non-Trivial Computations in Proof Planning – V Sorge - 2000
65 ΩMEGA: Towards a Mathematical Assistant – Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Karsten Konrad, Andreas Meier, Erica Melis, Volker Sorge, et al. - 1997
41 Integrating computer algebra into proof planning – Manfred Kerber, Michael Kohlhase, Volker Sorge - 1998
28 PDS -- A Three-Dimensional Data Structure for Proof Plans – Lassaad Cheikhrouhou, Volker Sorge - 2000
63 Reconstructing Proofs at the Assertion Level – Xiaorong Huang - 1994
294 OTTER3.0 Reference Manual and Guide – William W. McCune - 1995
97 Productive Use of Failure in Inductive Proof – Andrew Ireland, Alan Bundy - 1995
15 Proof development in OMEGA: The irrationality of square root of 2 – J Siekmann, C Benzmuller, A Fiedler, A Meier, I Normann, M Pollet - 2003
24 Proof Planning – Alan Bundy - 1996
58 System Description: Proof Planning in Higher-Order Logic with – Julian Richardson, Alan Smaill, Ian Green - 1998
854 A formulation of the simple theory of types – Alonzo Church - 1940
6 Automatic generation of some results in algebra – M Fujita, J Slaney, F Bennett - 1993
56 Automated Reasoning and Exhaustive Search: Quasigroup Existence Problems – John Slaney, Masayuki Fujita, Mark Stickel - 1995
315 Boosting combinatorial search through randomization – Carla P. Gomes - 1998