Truth table invariant cylindrical algebraic decomposition R Bradford, JH Davenport, M England, S McCallum, D Wilson Journal of Symbolic Computation 76, 1-35, 2016 | 64 | 2016 |

Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition Z Huang, M England, D Wilson, JH Davenport, LC Paulson, J Bridge Intelligent Computer Mathematics: International Conference, CICM 2014 …, 2014 | 60 | 2014 |

Optimising problem formulation for cylindrical algebraic decomposition R Bradford, JH Davenport, M England, D Wilson Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and …, 2013 | 50 | 2013 |

Cylindrical algebraic decompositions for boolean combinations R Bradford, JH Davenport, M England, S McCallum, D Wilson Proceedings of the 38th International Symposium on Symbolic and Algebraic …, 2013 | 42 | 2013 |

Program verification in the presence of complex numbers, functions with branch cuts etc JH Davenport, R Bradford, M England, D Wilson 2012 14th International Symposium on Symbolic and Numeric Algorithms for …, 2012 | 35 | 2012 |

A" piano movers" problem reformulated D Wilson, JH Davenport, M England, R Bradford 2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013 | 32 | 2013 |

Truth table invariant cylindrical algebraic decomposition by regular chains R Bradford, C Chen, JH Davenport, M England, MM Maza, D Wilson International Workshop on Computer Algebra in Scientific Computing, 44-58, 2014 | 31 | 2014 |

Speeding up cylindrical algebraic decomposition by Gröbner bases DJ Wilson, RJ Bradford, JH Davenport International Conference on Intelligent Computer Mathematics, 280-294, 2012 | 30 | 2012 |

Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting M England, D Wilson, R Bradford, JH Davenport Mathematical Software–ICMS 2014: 4th International Congress, Seoul, South …, 2014 | 26 | 2014 |

Using machine learning to improve cylindrical algebraic decomposition Z Huang, M England, DJ Wilson, J Bridge, JH Davenport, LC Paulson Mathematics in Computer Science 13, 461-488, 2019 | 25 | 2019 |

Cylindrical algebraic sub-decompositions DJ Wilson, RJ Bradford, JH Davenport, M England Mathematics in Computer Science 8, 263-288, 2014 | 25 | 2014 |

Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition M England, R Bradford, JH Davenport, D Wilson Mathematical Software–ICMS 2014: 4th International Congress, Seoul, South …, 2014 | 23 | 2014 |

Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition M England, R Bradford, C Chen, JH Davenport, MM Maza, D Wilson Intelligent Computer Mathematics: International Conference, CICM 2014 …, 2014 | 22 | 2014 |

Understanding branch cuts of expressions M England, R Bradford, JH Davenport, D Wilson Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and …, 2013 | 19 | 2013 |

A repository for CAD examples DJ Wilson, RJ Bradford, JH Davenport ACM Communications in Computer Algebra 46 (3/4), 67-69, 2013 | 17 | 2013 |

Using the distribution of cells by dimension in a cylindrical algebraic decomposition D Wilson, M England, R Bradford, JH Davenport 2014 16th International Symposium on Symbolic and Numeric Algorithms for …, 2014 | 16 | 2014 |

Branch cuts in Maple 17 M England, E Cheb-Terrab, R Bradford, JH Davenport, D Wilson ACM Communications in Computer Algebra 48 (1/2), 24-27, 2014 | 15 | 2014 |

Real geometry and connectedness via triangular description: Cad example bank D Wilson University of Bath, 2013 | 11 | 2013 |

Interdisciplinary teaching of computing to mathematics students: Programming and discrete mathematics JH Davenport, D Wilson, I Graham, G Sankaran, A Spence, J Blake, ... MSOR Connections, 1-8, 2014 | 7 | 2014 |

Truth table invariant cylindrical algebraic decomposition. Submitted R Bradford, JH Davenport, M England, S McCallum, D Wilson Preprint: http://opus. bath. ac. uk/38146, 2014 | 6 | 2014 |