21 citations · 31 across the 12 of their papers we have counts for
1 paper · 1 filter
Saugata Basu
We survey both old and new developments in the theory of algorithms in real algebraic geometry -- starting from effective quantifier elimination in the first order theory of reals…