@inproceedings{STOC-2005-Basu,
	author        = "Saugata Basu",
	booktitle     = "{Proceedings of the 37th Annual ACM Symposium on Theory of Computing}",
	doi           = "10.1145/1060590.1060637",
	isbn          = "1-58113-960-8",
	pages         = "313--322",
	publisher     = "{ACM}",
	title         = "{Polynomial time algorithm for computing the top Betti numbers of semi-algebraic sets defined by quadratic inequalities}",
	year          = 2005,
}