37 citations · 101 across the 5 of their papers we have counts for
3 papers · 1 filter
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
Matthew England, Russell Bradford, James H. Davenport +1
Cylindrical algebraic decomposition (CAD) is a key tool for solving problems in real algebraic geometry and beyond. In recent years a new approach has been developed, where regular…
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
Matthew England, Russell Bradford, Changbo Chen +3
Cylindrical algebraic decompositions (CADs) are a key tool for solving problems in real algebraic geometry and beyond. We recently presented a new CAD algorithm combining two advan…
Program Verification in the presence of complex numbers, functions with branch cuts etc
James H. Davenport, Russell Bradford, Matthew England +1
In considering the reliability of numerical programs, it is normal to "limit our study to the semantics dealing with numerical precision" (Martel, 2005). On the other hand, there i…