1. Basu, S.: Computing the first few Betti numbers of semi-algebraic sets in single exponential time. J. Symb. Comput. 41(10), 1125–1154 (2006)
2. Basu, S.: Algorithms in real algebraic geometry: a survey, Real algebraic geometry, Panor. Synthèses, Vol. 51, Soc. Math. France, Paris, 2017, pp. 107–153
3. Basu, S., Pollack, R., Roy, M.-F.: Algorithms in real algebraic geometry. In: Cohen, A.M., Cohen, H., Eisenbud, D., Singer, M.F., Sturmfels, B. (eds.) Algorithms and Computation in Mathematics, vol. 10, 2nd edn. Springer, Berlin (2006)
4. Basu, S., Pollack, R., Roy, M.-F.: Computing the first Betti number of a semi-algebraic set. Found. Comput. Math. 8(1), 97–136 (2008)
5. Basu, S., Isik, U.: Categorical complexity. Forum Math. Sigma 8, Paper No. e34, 63 (2020)