Inproceedings Computational Methods Stokes, Gibbs and volume computation of semi-algebraic sets Matteo Tacchi Jean Lasserre Didier Henrion Booktitle Discrete and Computational Geometry (under review) DOI