=ADD=
=reftype=
14
=number=
02-25
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/2002/02-25.ps.gz
=year=
2002
=month=
12
=author=
Piroi; Florina + Buchberger; Bruno
=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.
=howpublished=
Proceedings of Proceedings of the 8th Rhine Workshop on Computer Algebra, Mannheim, Germany, March 21-22, (H. Kredel, W. Seiler eds.)
=sponsor=
FWF project P1302
=keywords=
proof presentation, focus windows, automated proving