https://arxiv.org/abs/math/0603262
[math/0603262] Computing the Top Betti Numbers of Semi-algebraic Sets Defined by Quadratic...
Abstract page for arXiv paper math/0603262: Computing the Top Betti Numbers of Semi-algebraic Sets Defined by Quadratic Inequalities in Polynomial Time