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