Publications:

M. England, R. Bradford, J.H. Davenport and D. Wilson
Understanding Branch Cuts of Expressions
In Press (Proceedings of CICM 2013  MKM).
Preprint: arXiv:1304.7223 or University repository. 
R. Bradford, M. England, J.H. Davenport and D. Wilson
Optimising Problem Formulations for Cylindrical Algebraic Decomposition
In Press (Proceedings of CICM 2013  Calculemus).
Preprint: arXiv:1304.7222 or University repository. 
R. Bradford, J.H. Davenport, M. England, S. McCallum and D. Wilson
Cylindrical Algebraic Decompositions for Boolean Combinations
In Press (Proceedings of ISSAC 2013).
Preprint: arXiv:1304.7603 or University repository. 
J.H. Davenport, R. Bradford, M. England and D. Wilson
Program Verification in the presence of complex numbers, functions with branch cuts etc.
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), pp 8388, IEEE, (2012).
Journal website.
Preprint: arXiv:1212.5417 or University repository. 
D. J. Wilson, R. J. Bradford and J. H. Davenport
Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases
Lecture Notes in Computer Science 7362 (Proceedings of CICM 2012), pp. 280294, Springer, (2012).
Journal Website.
Preprint: arXiv:1205.6285 or University repository. 
D. J. Wilson, R. J. Bradford and J. H. Davenport
A repository for CAD examples
ACM Communications in Computer Algebra 46 (3), pp 6769, ACM, (2012).
Journal Website.
Preprint: University Repository.
Presentations:
 20/06/12  "Algebraic Representations of Branches of Functions", given at SIAM Conference on Discrete Mathematics (Halifax, Canada) in the "Interactions Between Computer Algebra and Discrete Mathematics" minisymposium. Slides available: PDF.
 27/06/12  "Choice of Formulation in Cylindrical Algebraic Decomposition Problems", given at CAIMS Meeting 2012 (Toronto, Canada) in the "Applications of Computer Algebra in Applied and Industrial Mathematics" minisymposium. Slides available: PDF.
 11/07/12  "Real Geometry and Connectedness", given at CICM 2012 (Bremen, Germany) as part of their Doctoral Programme. Slides available: PDF.
 06/12/12  "Real Geometry and Connectedness  A survey of Cylindrical Algebraic Decomposition", given at the Mathematical Foundations Group seminar as part of my transfer viva. Slides available: PDF.
 25/03/13  "Advances in Cylindrical Algebraic Decomposition", given at BCTCS 2013 (Bath, UK) as a contributed talk. Submitted abstract available: PDF. Slides available: PDF.
 08/07/13  "Formulations in Cylindrical Algebraic Decomposition", given at Calculemus (part of CICM) 2013 (Bath, UK) as a paper presentation. Slides available: PDF.
 10/07/13  "Advances in Cylindrical Algebraic Decomposition", given at CICM 2013 (Bath, UK) as part of their doctoral programme. Slides available: PDF.