Electronic Notes in Theoretical Computer Science, Volume 226

Volume 226, January 2009

• Serge Autexier, Christoph Benzmüller:
  Preface. 1-2
  
• David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner:
  Towards Merging PlatOmega and PGIP. 3-21
  
• John Byrnes, Michael Buchanan, Michael Ernst, Philip Miller, Chris Roberts, Robert Keller:
  Visualizing Proof Search for Theorem Prover Development. 23-38
  
• William M. Farmer, Orlin G. Grigorov:
  Panoptes: An Exploration Tool for Formal Proofs. 39-48
  
• Holger Gast:
  Managing Proof Documents for Asynchronous Processing. 49-66
  
• Claudio Sacerdoti Coen:
  A User Interface for a Mathematical System that Allows Ambiguous Formulae. 67-87
  
• Andrea Asperti, Enrico Tassi:
  An Interactive Driver for Goal-directed Proof Strategies. 89-105