Computing the Top Betti Numbers of Semialgebraic Sets Defined by Quadratic Inequalities in Polynomial Time.

Saugata Basu Computing the Top Betti Numbers of Semialgebraic Sets Defined by Quadratic Inequalities in Polynomial Time. 45-80 2008 8 Foundations of Computational Mathematics 1 http://dx.doi.org/10.1007/s10208-005-0208-8 db/journals/focm/focm8.html#Basu08