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