Search the dblp DataBase

Publications of Author

1. Daniel Winterstein
   Dr.Doodle: A Diagrammatic Theorem Prover. [Citation Graph (0, 0)][DBLP]
   IJCAR Doctoral Programme, 2004, pp:- [Conf]
   
2. Daniel Winterstein, Alan Bundy, Corin A. Gurr
   Dr.Doodle: A Diagrammatic Theorem Prover. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2004, pp:331-335 [Conf]
   
3. Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
   Using Animation in Diagrammatic Theorem Proving. [Citation Graph (0, 0)][DBLP]
   Diagrams, 2002, pp:46-60 [Conf]
   
4. Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
   An Experimental Comparison of Diagrammatic and Algebraic Logics. [Citation Graph (0, 0)][DBLP]
   Diagrams, 2004, pp:432-434 [Conf]
   
5. Daniel Winterstein, Alan Bundy, Mateja Jamnik
   A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. [Citation Graph (0, 0)][DBLP]
   Diagrams, 2000, pp:286-299 [Conf]
   
6. Daniel Winterstein, Alan Bundy, Mateja Jamnik
   On Differences between the Real and Physical Plane. [Citation Graph (0, 0)][DBLP]
   Diagrams, 2004, pp:29-31 [Conf]
   
7. Daniel Winterstein, David Aspinall, Christoph Lüth
   Proof General / Eclipse: A Generic Interface for Interactive Proof. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2005, pp:1587-1588 [Conf]
   
8. David Aspinall, Christoph Lüth, Daniel Winterstein
   A Framework for Interactive Proof. [Citation Graph (0, 0)][DBLP]
   Calculemus/MKM, 2007, pp:161-175 [Conf]
   
9. 
   Proof general in Eclipse: system and architecture overview. [Citation Graph (, )][DBLP]