Electronic Notes in Theoretical Computer Science, Volume 103

Volume 103, November 2004

• 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