This page lists my current publications, slides for recent talks, and any preprints.

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 83--88, 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. 280-294, 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 67-69, 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.