61 citations · 693 across the 58 of their papers we have counts for
8 papers · 1 filter
Using the distribution of cells by dimension in a cylindrical algebraic decomposition
David Wilson, Matthew England, Russell Bradford +1
We investigate the distribution of cells by dimension in cylindrical algebraic decompositions (CADs). We find that they follow a standard distribution which seems largely independe…
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting
Matthew England, David Wilson, Russell Bradford +1
Cylindrical algebraic decomposition (CAD) is an important tool, both for quantifier elimination over the reals and a range of other applications. Traditionally, a CAD is built thro…
A comparison of three heuristics to choose the variable ordering for CAD
Zongyan Huang, Matthew England, David Wilson +2
Cylindrical algebraic decomposition (CAD) is a key tool for problems in real algebraic geometry and beyond. When using CAD there is often a choice over the variable ordering to use…
Formulating problems for real algebraic geometry
Matthew England
We discuss issues of problem formulation for algorithms in real algebraic geometry, focussing on quantifier elimination by cylindrical algebraic decomposition. We recall how the va…
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 decomposition(CAD) is a key tool in computational algebraic geometry, particularly for quantifier elimination over real-closed fields. When using CAD, there i…
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
R. Bradford, C. Chen, J. H. Davenport +3
A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two recent advances. Firstly, the output is truth table invariant (a TTICAD) meanin…