Edinburgh Research Explorer

Automating change of representation for proofs in discrete mathematics

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

Standard

Automating change of representation for proofs in discrete mathematics. / Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison.

Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.. Springer International Publishing, 2015. p. 227-242 (Lecture Notes in Computer Science; Vol. 9150).

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

Harvard

Raggi, D, Bundy, A, Grov, G & Pease, A 2015, Automating change of representation for proofs in discrete mathematics. in Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.. Lecture Notes in Computer Science, vol. 9150, Springer International Publishing, pp. 227-242. https://doi.org/10.1007/978-3-319-20615-8_15

APA

Raggi, D., Bundy, A., Grov, G., & Pease, A. (2015). Automating change of representation for proofs in discrete mathematics. In Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. (pp. 227-242). (Lecture Notes in Computer Science; Vol. 9150). Springer International Publishing. https://doi.org/10.1007/978-3-319-20615-8_15

Vancouver

Raggi D, Bundy A, Grov G, Pease A. Automating change of representation for proofs in discrete mathematics. In Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.. Springer International Publishing. 2015. p. 227-242. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-20615-8_15

Author

Raggi, Daniel ; Bundy, Alan ; Grov, Gudmund ; Pease, Alison. / Automating change of representation for proofs in discrete mathematics. Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.. Springer International Publishing, 2015. pp. 227-242 (Lecture Notes in Computer Science).