Edinburgh Research Explorer

Dr Daniel Raggi

(Former employee or visitor)

  1. 2016
  2. Automating change of representation for proofs in discrete mathematics (extended version)

    Raggi, D., Bundy, A., Grov, G. & Pease, A. Oct 2016 In : Mathematics in Computer Science. 10, 4, p. 429–457 29 p.

    Research output: Contribution to journalArticle

  3. 2015
  4. Automating change of representation for proofs in discrete mathematics

    Raggi, D., Bundy, A., Grov, G. & Pease, A. 2015 Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.. Springer International Publishing, p. 227-242 16 p. (Lecture Notes in Computer Science; vol. 9150)

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