Daniel Winterstein

Publication Activity (10 Years)

Years Active: 2000-2019
Publications (10 Years): 3

Top Topics

Mathematical Knowledge

Business Process

Service Architecture

Top Venues

Publications

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