61 citations · 359 across the 17 of their papers we have counts for
5 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…
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…
Cylindrical Algebraic Sub-Decompositions
D. J. Wilson, R. J. Bradford, J. H. Davenport +1
Cylindrical algebraic decompositions (CADs) are a key tool in real algebraic geometry, used primarily for eliminating quantifiers over the reals and studying semi-algebraic sets. I…
Truth Table Invariant Cylindrical Algebraic Decomposition
Russell Bradford, James H. Davenport, Matthew England +2
When using cylindrical algebraic decomposition (CAD) to solve a problem with respect to a set of polynomials, it is likely not the signs of those polynomials that are of paramount…