Daniel Winterstein

According to our database, Daniel Winterstein authored at least 11 papers between 2000 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

The Importance of Applying Computational Creativity to Scientific and Mathematical Domains.

Alison Pease, Simon Colton, Chris Warburton, Athanasios Nathanail, Irina Preda, Daniel Arnold, Daniel Winterstein, Mike Cook

Proceedings of the Tenth International Conference on Computational Creativity, 2019

2016

X575: Writing Rengas with Web Services.

Joseph Corneli, Daniel Winterstein

Proceedings of the INLG 2016 Workshop on Computational Creativity in Natural Language Generation, 2016

2007

A Framework for Interactive Proof.

David Aspinall, Christoph Lüth, Daniel Winterstein

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2006

Proof general in Eclipse: system and architecture overview.

David Aspinall, Daniel Winterstein, Christoph Lüth, Ahsan Fayyaz

Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006

2005

Proof General / Eclipse: A Generic Interface for Interactive Proof.

Daniel Winterstein, David Aspinall, Christoph Lüth

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004

On Differences between the Real and Physical Plane.

Daniel Winterstein, Alan Bundy, Mateja Jamnik

Proceedings of the Diagrammatic Representation and Inference, 2004

An Experimental Comparison of Diagrammatic and Algebraic Logics.

Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik

Proceedings of the Diagrammatic Representation and Inference, 2004

Dr.Doodle: A Diagrammatic Theorem Prover.

Daniel Winterstein, Alan Bundy, Corin A. Gurr

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

Dr.Doodle: A Diagrammatic Theorem Prover.

Daniel Winterstein

Proceedings of the Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 2004

2002

Using Animation in Diagrammatic Theorem Proving.

Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik

Proceedings of the Diagrammatic Representation and Inference, 2002

2000

A Proposal for Automating Diagrammatic Reasoning in Continuous Domains.

Daniel Winterstein, Alan Bundy, Mateja Jamnik

Proceedings of the Theory and Application of Diagrams, First International Conference, 2000