- PublishedAlan Sexton & Volker Sorge, 1 Apr 2012, In : Annals of Mathematics and Artificial Intelligence. 64, 4, p. 343-368
Research output: Contribution to journal › Article
Intelligent Computer Mathematics: Proceedings of the 10th International Conference AISC 2010, 17th Symposium Calculemus 2010, and 9th International Conference MKM 2010, Lecture Notes in Computer ScienceAutexier, S., Calmet, J., Delahaye, D., Ion, PDF., Rideau, L., Rioboo, R. & Alan Sexton, 1 Jan 2010, Springer.
Research output: Book/Report › Book
- PublishedAlan Sexton & Volker Sorge, 1 Sep 2008.
Research output: Contribution to conference (unpublished) › Abstract
- PublishedAlan Sexton, Volker Sorge & Sojka, P., 1 Jul 2008.
Research output: Contribution to conference (unpublished) › Paper
- PublishedJosef Baker, Alan Sexton & Volker Sorge, 6 Jul 2009, Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Carette, J., Dixon, L., Sacerdoti Coen, C. & Watt, SM. (eds.). Springer, p. 201-216 16 p. (Lecture Notes in Computer Science; vol. 5625).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution