TY - RPRT TI - Stokes, Gibbs and volume computation of semi-algebraic sets AU - Matteo Tacchi AU - Jean B Lasserre AU - Didier Henrion PY - 2022 UR - https://arxiv.org/abs/2009.12139 ID - 2009.12139 ER -