Computing the Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials

From MaRDI portal