Paper Info
Title
Focus Windows: A New Technique for Proof Presentation
Abstract
Whether they are hand written or generated by an automated prover, long proofs may be difficult to understand and follow. The main reason for this is that at some point in the proof formulae that occur lines, paragraphs or even pages before, are used. The proof presentation method proposed here tries to overcome this by showing, in each proof step, exactly the formulae that are relevant for the particular proof step. We describe the implementation of this method in the frame of the Theorema system.
Year
DOI
Venue
2002
10.1007/3-540-45470-5_30
AISC
Keywords
Field
DocType
automated prover,theorema system,proof presentation,focus windows,proof presentation method,proof step,new technique,proof formula,particular proof step,main reason,long proof
Analytic proof,Computer-assisted proof,Computer science,Theorema,Automated theorem proving,Algorithm,Automated proof checking,Theoretical computer science,Mathematical proof,Proof complexity,Calculus,Proof assistant
Conference
ISBN
Citations 
PageRank 
3-540-43865-3
2
0.45
References 
Authors
2
2
Name
Order
Citations
PageRank
Florina Piroi118417.23
Bruno Buchberger2847168.26