STOC
2005
ACM
14 years 11 months ago
2005
ACM
In this paper we describe the first singly exponential algorithm for computing the first Betti number of a given semi-algebraic set. We also describe algorithms for obtaining semi...