Volume 39, Issue 2 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 39, Issue 2

August 2007

Special Issue on User Interfaces in Theorem Proving

Filter by

Volume:

Sort by

Date published:

New to old Old to new

6 articles in this issue

Special Issue on User Interfaces in Theorem Proving: Preface
David Aspinall
Christoph Lüth
OriginalPaper 14 June 2007 Pages: 107 - 108
User Interaction with the Matita Proof Assistant
Andrea Asperti
Claudio Sacerdoti Coen
Stefano Zacchiroli
OriginalPaper 21 June 2007 Pages: 109 - 139
Integrating Searching and Authoring in Mizar
Paul Cairns
Jeremy Gow
OriginalPaper 01 June 2007 Pages: 141 - 160
A Graphical User Interface for Formal Proofs in Geometry
Julien Narboux
OriginalPaper 30 June 2007 Pages: 161 - 180
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
William Billingsley
Peter Robinson
OriginalPaper 12 June 2007 Pages: 181 - 218
Visualizing SAT Instances and Runs of the DPLL Algorithm
Carsten Sinz
OriginalPaper 26 July 2007 Pages: 219 - 243