Edinburgh Research Explorer

Dr Daniel Winterstein

(Former employee or visitor)

  1. 2018
  2. Encountering #Feminism on Twitter: Reflections on a research collaboration between social scientists and computer scientists

    Kirkwood, S., Cree, V. E., Winterstein, D., Nuttgens, A. & Sneddon, J., 15 Jun 2018, In : Sociological Research Online.

    Research output: Contribution to journalArticle

  3. 2014
  4. Reinventing the complex numbers

    Fleuriot, J., Maclean, E., Smaill, A. & Winterstein, D., 2014, Computational Creativity, Concept Invention, and General Intelligence, Proceedings of the 3rd International Workshop C3GI@ ECAI-14. Vol. 1.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. 2007
  6. A Framework for Interactive Proof

    Aspinall, D., Lüth, C. & Winterstein, D., 2007, Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Kauers, M., Kerber, M., Miner, R. & Windsteiger, W. (eds.). Springer Berlin Heidelberg, p. 161-175 15 p. (Lecture Notes in Computer Science; vol. 4573).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. 2006
  8. Proof General in Eclipse: System and Architecture Overview

    Aspinall, D., Winterstein, D., Lüth, C. & Fayyaz, A., 2006, eclipse '06 Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange. New York, NY, USA: ACM, p. 45-49 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. 2005
  10. Logical forms in wit

    Winterstein, D. & Mhatre, S., 2005, Computational Creativity Workshop 2005 . 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Parsing, editing, proving: The PGIP display protocol

    Aspinall, D., Lüth, C. & Winterstein, D., 2005, International Workshop on User Interfaces for Theorem Provers. Vol. 2005.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

    Aspinall, D., Lüth, C. & Winterstein, D., 2005, Proceedings of the 19th International Joint Conference on Artificial Intelligence. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc., p. 1587-1588 2 p. (IJCAI'05).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. 2004
  14. An Experimental Comparison of Diagrammatic and Algebraic Logics

    Bundy, A., Gurr, C., Jamnik, M. & Winterstein, D., 2004, Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings. Springer Berlin Heidelberg, p. 432-434 3 p. (Lecture Notes in Computer Science; vol. 2980).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Dr. Doodle: A diagrammatic theorem prover

    Winterstein, D., Bundy, A. & Gurr, C., 2004, Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Basin, D. & Rusinowitch, M. (eds.). Springer Berlin Heidelberg, p. 331-335 5 p. (Lecture Notes in Computer Science; vol. 3097).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. On differences between the real and physical plane

    Winterstein, D., Bundy, A. & Jamnik, M., 2004, Diagrammatic Representation and Inference. Springer Berlin Heidelberg, p. 29-31 3 p. (Lecture Notes in Computer Science; vol. 2980).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 Next