10 citations · 11 across the 6 of their papers we have counts for
1 paper · 2 filters
Jasper Nalbach, Gereon Kremer
The cylindrical algebraic covering method was originally proposed to decide the satisfiability of a set of non-linear real arithmetic constraints. We reformulate and extend the cyl…