
Search the dblp DataBase
Daniel Winterstein:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Daniel Winterstein
Dr.Doodle: A Diagrammatic Theorem Prover. [Citation Graph (0, 0)][DBLP] IJCAR Doctoral Programme, 2004, pp: [Conf]
 Daniel Winterstein, Alan Bundy, Corin A. Gurr
Dr.Doodle: A Diagrammatic Theorem Prover. [Citation Graph (0, 0)][DBLP] IJCAR, 2004, pp:331335 [Conf]
 Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
Using Animation in Diagrammatic Theorem Proving. [Citation Graph (0, 0)][DBLP] Diagrams, 2002, pp:4660 [Conf]
 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:432434 [Conf]
 Daniel Winterstein, Alan Bundy, Mateja Jamnik
A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. [Citation Graph (0, 0)][DBLP] Diagrams, 2000, pp:286299 [Conf]
 Daniel Winterstein, Alan Bundy, Mateja Jamnik
On Differences between the Real and Physical Plane. [Citation Graph (0, 0)][DBLP] Diagrams, 2004, pp:2931 [Conf]
 Daniel Winterstein, David Aspinall, Christoph Lüth
Proof General / Eclipse: A Generic Interface for Interactive Proof. [Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:15871588 [Conf]
 David Aspinall, Christoph Lüth, Daniel Winterstein
A Framework for Interactive Proof. [Citation Graph (0, 0)][DBLP] Calculemus/MKM, 2007, pp:161175 [Conf]
Proof general in Eclipse: system and architecture overview. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
