Daniel Winterstein

12 papers A* 1A 1C 5Journal 1Unranked 4
YearRankTypeTitle / Venue / Authors
2019 C conf
The Importance of Applying Computational Creativity to Scientific and Mathematical Domains.
ICCC
Alison Pease, Simon Colton, Chris Warburton, Athanasios Nathanail, Irina Preda, Daniel Arnold, Daniel Winterstein, Mike Cook
2016 — conf
X575: Writing Rengas with Web Services.
CC-NLG
Joseph Corneli, Daniel Winterstein
2016 J jnl
X575: writing rengas with web services.
CoRR
Daniel Winterstein, Joseph Corneli
2007 — conf
A Framework for Interactive Proof.
Calculemus/MKM
David Aspinall, Christoph Lüth, Daniel Winterstein
2006 — conf
Proof general in Eclipse: system and architecture overview.
ETX
David Aspinall, Daniel Winterstein, Christoph Lüth, Ahsan Fayyaz
2005 A* conf
Proof General / Eclipse: A Generic Interface for Interactive Proof.
IJCAI
Daniel Winterstein, David Aspinall, Christoph Lüth
2004 C conf
An Experimental Comparison of Diagrammatic and Algebraic Logics.
Diagrams
Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
2004 — conf
Dr.Doodle: A Diagrammatic Theorem Prover.
IJCAR Doctoral Programme
Daniel Winterstein
2004 A conf
Dr.Doodle: A Diagrammatic Theorem Prover.
IJCAR
Daniel Winterstein, Alan Bundy, Corin A. Gurr
2004 C conf
On Differences between the Real and Physical Plane.
Diagrams
Daniel Winterstein, Alan Bundy, Mateja Jamnik
2002 C conf
Using Animation in Diagrammatic Theorem Proving.
Diagrams
Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
2000 C conf
A Proposal for Automating Diagrammatic Reasoning in Continuous Domains.
Diagrams
Daniel Winterstein, Alan Bundy, Mateja Jamnik