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