4 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
James H. Davenport, Akshar S. Nair, Gregory K. Sankaran +1
McCallum-style Cylindrical Algebra Decomposition (CAD) is a major improvement on the original Collins version, and has had many subsequent advances, notably for total or partial eq…