61 citations · 109 across the 8 of their papers we have counts for
1 paper · 1 filter
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…