activity
20062026
most citedApproximation of definable sets by compact families, and upper bounds on homotopy and homology

26 citations · 42 across the 14 of their papers we have counts for

collaborators
Showing math.HOShow all

1 paper · 1 filter

math.HO2021

Lecture notes on complexity of quantifier elimination over the reals

Nicolai Vorobjov

These are lecture notes for a course I gave in mid-1990s for MSc students at the University of Bath. It presents an algorithm with singly exponential complexity for the existential…