4 papers
Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
James H. Davenport, Matthew England, Scott McCallum
This paper presents two enhancements to cylindrical algebraic decomposition (CAD) based quantifier elimination (QE) for cases in which multiple equational constraints are present i…
Projective Delineability for Single Cell Construction
Jasper Nalbach, Lucas Michel, Erika Ãbrahám +5
The cylindrical algebraic decomposition (CAD) is the only complete method used in practice for solving problems like quantifier elimination or SMT solving related to real algebra,…
Iterated Resultants and Rational Functions in Real Quantifier Elimination
James H. Davenport, Matthew England, Scott McCallum +1
This paper builds and extends on the authors' previous work related to the algorithmic tool, Cylindrical Algebraic Decomposition (CAD), and one of its core applications, Real Quant…
On Projective Delineability
Lucas Michel, Jasper Nalbach, Pierre Mathonet +5
We consider cylindrical algebraic decomposition (CAD) and the key concept of delineability which underpins CAD theory. We introduce the novel concept of projective delineability wh…