The Mechanization of the Diagonalization Proof Strategy (1996)

Cached

Download Links

by Lassaad Cheikhrouhou
Venue:FACHBEREICH INFORMATIK, UNIVERSITAT DES SAARLANDES, IM STADTWALD
Citations:2 - 1 self

Active Bibliography

3 A multi-modi Proof Planner – Lassaad Cheikhrouhou - 1998
6 Proof Planning: A Practical Approach To Mechanized Reasoning In Mathematics – Manfred Kerber - 1998
28 PDS -- A Three-Dimensional Data Structure for Proof Plans – Lassaad Cheikhrouhou, Volker Sorge - 2000
12 Planning Diagonalization Proofs – Lassaad Cheikhrouhou - 1997
2 Proving Ground Completeness of Resolution by Proof Planning – Manfred Kerber, Arthur Christian Sehn - 1997
The Diagonalization Method In Automatic Proof – Jeremy Gow, Toby Walsh - 1997
3 Adapting the Diagonalization Method by Reformulations – Xiaorong Huang, Xiaorong Huang, Manfred Kerber, Manfred Kerber, Lassaad Cheikhrouhou, Lassaad Cheikhrouhou, Fachbereich Informatik - 1995
1 Lessons From Experience: Making Theorem Provers More Co-operative – Helen Lowe, Andrew Cumming, Michael Smyth, Alison Varey - 1996
3 ΩMEGA: Computer supported mathematics – Jörg Siekmann, Christoph Benzmüller - 2004
4 Adaptation of Declaratively Represented Methods in Proof Planning – Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou - 1995
3 Towards Concurrent Resource Managed Deduction – Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge - 1999
1 Towards computer-assisted proof tutoring – Marvin Schiller, Dominik Dietrich, Christoph Benzmüller
4 Interactive proof construction at the task level – Malte Hübner, Christoph Benzmüller, Serge Autexier, Andreas Meier - 2003
23 Presenting Machine-Found Proofs – Xiaorong Huang, Armin Fiedler - 1996
6 Interactive theorem proving with tasks – M. Hübner, S. Autexier, C. Benzmüller, A. Meier - 2004
8 Natural Language Dialog with a Tutor System for Mathematical Proofs – Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg Siekmann, Magdalena Wolska - 2007
10 A Calculus Supporting Structured Proofs – Bernd I. Dahn, Andreas Wolf
3 Proof step analysis for proof tutoring – a learning approach to granularity – Marvin Schiller, Dominik Dietrich, Christoph Benzmüller
10 Planning Reference Choices for Argumentative Texts – Xiaorong Huang