Volume 103,
November 2004
Proceedings of the User Interfaces for Theorem Provers Workshop,
UITP 2003
- David Aspinall, Christoph Lüth:
Preface.
1-2
- David Aspinall, Christoph Lüth:
Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces.
3-26
- Philippe Audebaud, Laurence Rideau:
TEXmacs as Authoring Tool for Formal Developments.
27-48
- Yves Bertot, Frédérique Guilhot, Loic Pottier:
Visualizing Geometrical Statements with GeoView.
49-65
- Martin Giese:
Taclets and the KeY Prover.
67-79
- Joseph Kiniry:
Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments.
81-103
- Andreas Meier, Erica Melis, Martin Pollet:
Adaptable Mixed-Initiative Proof Planning for Educational Interaction.
105-120
- Laurent Théry:
Colouring Proofs: A Lightweight Approach to Adding Formal Structure to Proofs.
121-138
- Norbert Völker:
Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants.
139-159
- Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier:
Interactive Theorem Proving with Tasks.
161-181
Copyright © Mon Mar 15 04:00:56 2010
by Michael Ley (ley@uni-trier.de)
