Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases. - David J. Wilson; Russell J. Bradford; James H. Davenport (AISC/MKM/Calculemus, 2012)

Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc. - James H. Davenport; Russell J. Bradford; Matthew England 001; David J. Wilson (SYNASC, 2012)

A repository for CAD examples. - David J. Wilson; Russell J. Bradford; James H. Davenport (ACM Commun. Comput. Algebra, 2012)

Cylindrical algebraic decompositions for boolean combinations. - Russell J. Bradford; James H. Davenport; Matthew England 001; Scott McCallum; David J. Wilson (ISSAC, 2013)

Optimising Problem Formulation for Cylindrical Algebraic Decomposition. - Russell J. Bradford; James H. Davenport; Matthew England 001; David J. Wilson (MKM/Calculemus/DML, 2013)

Understanding Branch Cuts of Expressions. - Matthew England 001; Russell J. Bradford; James H. Davenport; David J. Wilson (MKM/Calculemus/DML, 2013)

A "Piano Movers" Problem Reformulated. - David J. Wilson; James H. Davenport; Matthew England 001; Russell J. Bradford (SYNASC, 2013)

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. - Russell J. Bradford; Changbo Chen; James H. Davenport; Matthew England 001; Marc Moreno Maza; David J. Wilson (CASC, 2014)

Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. - Matthew England 001; Russell J. Bradford; James H. Davenport; David J. Wilson (ICMS, 2014)

Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting. - Matthew England 001; David J. Wilson; Russell J. Bradford; James H. Davenport (ICMS, 2014)

Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. - Matthew England 001; Russell J. Bradford; Changbo Chen; James H. Davenport; Marc Moreno Maza; David J. Wilson (CICM, 2014)

Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition. - Zongyan Huang; Matthew England 001; David J. Wilson; James H. Davenport; Lawrence C. Paulson; James P. Bridge (CICM, 2014)

Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition. - David J. Wilson; Matthew England 001; Russell J. Bradford; James H. Davenport (SYNASC, 2014)

Branch cuts in maple 17. - Matthew England 001; Edgardo S. Cheb-Terrab; Russell J. Bradford; James H. Davenport; David J. Wilson (ACM Commun. Comput. Algebra, 2014)

A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition. - Zongyan Huang; Matthew England 001; David J. Wilson; James H. Davenport; Lawrence C. Paulson (ACM Commun. Comput. Algebra, 2014)

A comparison of three heuristics to choose the variable ordering for CAD. - Zongyan Huang; Matthew England 001; David J. Wilson; James H. Davenport; Lawrence C. Paulson (CoRR, 2014)

Cylindrical Algebraic Sub-Decompositions. - David J. Wilson; Russell J. Bradford; James H. Davenport; Matthew England 001 (Math. Comput. Sci., 2014)

Advances in cylindrical algebraic decomposition. - David J. Wilson (2014)

An implementation of Sub-CAD in Maple. - Matthew England 001; David J. Wilson (CoRR, 2015)

Truth table invariant cylindrical algebraic decomposition. - Russell J. Bradford; James H. Davenport; Matthew England 001; Scott McCallum; David J. Wilson (J. Symb. Comput., 2016)

Using Machine Learning to Improve Cylindrical Algebraic Decomposition. - Zongyan Huang; Matthew England 001; David J. Wilson; James H. Davenport; Lawrence C. Paulson (CoRR, 2018)

Using Machine Learning to Improve Cylindrical Algebraic Decomposition. - Zongyan Huang; Matthew England 001; David J. Wilson; James P. Bridge; James H. Davenport; Lawrence C. Paulson (Math. Comput. Sci., 2019)

Optima TB: A tool to help optimally allocate tuberculosis spending. - Lara Goscé; Gerard J. Abou Jaoude; David Jacob Kedziora; Clemens Benedikt; Azfar Hussain; Sarah Jarvis; Alena Skrahina; Dzmitry Klimuk; Henadz Hurevich; Feng Zhao; Nicole Fraser-Hurt; Nejma Cheikh; et al. (PLoS Comput. Biol., 2021)