People
James Davenport
Email
Conference Articles
2019
(1 publication) - Davenport, J. and Fleuriot, j. and Quaresma, P. and Recio, T. and Wang, D. , "Intelligent GeometryTools", in Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE2019), 2019
Edited Books
2013
(1 publication) - Lange, C. and Aspinall, D. and Carette, J. and Davenport, J. and Kohlhase, A. and Kohlhase, M. and Libbrecht, P. and Quaresma, P. and Rabe, F. and Sojka, P. and Whiteside, I. and Windsteiger, W. , Proceedings of the Workshops and Work in Progress at CICM 2013 , vol. 1010, 2013 [ DOI ]
Tech Report
2014
(1 publication) - England, M. and Davenport, J. and Kohlhase, A. and Kohlhase, M. and Libbrecht, P. and Neuper, W. and Quaresma, P. and Sexton, A.P. and Sojka, P. and Urban, J. and Watt, S.M. , "Proceedings of the Workshops and Work in Progress at CICM 2014", 2014 [ DOI ]