Publications (18)
Optimising Problem Formulation for Cylindrical Algebraic Decomposition
Russell Bradford, James H. Davenport, Matthew England +1
A comparison of three heuristics to choose the variable ordering for CAD
Zongyan Huang, Matthew England, David Wilson +2
Equivalence of OEIS A007729 and A174868
Michael J. Collins, David Wilson
A "Piano Movers" Problem Reformulated
David Wilson, James H. Davenport, Matthew England +1
Sliding window and compressive sensing for low-field dynamic magnetic resonance imaging
Cristian Toraci, Gabriele Zaccaria, Stefano Ceriani +3
Understanding Branch Cuts of Expressions
Matthew England, Russell Bradford, James H. Davenport +1
Stellar archaeology with Gaia: the Galactic white dwarf population
Boris Gaensicke, Pier-Emmanuel Tremblay, Martin Barstow +23
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
Matthew England, Russell Bradford, Changbo Chen +3
Truth Table Invariant Cylindrical Algebraic Decomposition
Russell Bradford, James H. Davenport, Matthew England +2
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
Zongyan Huang, Matthew England, David Wilson +3
Cylindrical Algebraic Decompositions for Boolean Combinations
Russell Bradford, James H. Davenport, Matthew England +2
An implementation of Sub-CAD in Maple
Matthew England, David Wilson
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
Matthew England, Russell Bradford, James H. Davenport +1
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting
Matthew England, David Wilson, Russell Bradford +1
A Scalable, Low-Overhead Finite-State Machine Overlay for Rapid FPGA Application Development
David Wilson, Greg Stitt
Program Verification in the presence of complex numbers, functions with branch cuts etc
James H. Davenport, Russell Bradford, Matthew England +1
Using the distribution of cells by dimension in a cylindrical algebraic decomposition
David Wilson, Matthew England, Russell Bradford +1
Astro 2020 Science White Paper: Evolved Planetary Systems around White Dwarfs
Boris Gaensicke, Martin Barstow, Amy Bonsor +25