10 citations · 18 across the 3 of their papers we have counts for
1 paper · 1 filter
Philipp Bär, Jasper Nalbach, Erika Ábrahám +1
One of the few available complete methods for checking the satisfiability of sets of polynomial constraints over the reals is the cylindrical algebraic covering (CAlC) method. In t…