Computing the volume of compact semi-algebraic sets

Pierre Lairez, Marc Mezzarobba, Mohab Safey El Din

Let $S\subset R^n$ be a compact basic semi-algebraic set defined as the real solution set of multivariate polynomial inequalities with rational coefficients. We design an algorithm…