Stokes constraints for moment-SOS approximations of volumes of semi-algebraic sets
Here are the Matlab functions for the examples in the paper M. Tacchi, J. B. Lasserre, D. Henrion, Stokes, Gibbs and volume computation of semi-algebraic sets, HAL 02947268, September 2020. Revised in February 2022.
The functions are using the function momball.m for computing the Lebesgue moments of the p-norm.
They are also using the interfaces GloptiPoly and YALMIP as well as the conic solver MOSEK, which must be properly installed.
Section 6.2 (disk): disk_sos_nostokes.m and disk_sos_stokes.m
Section 6.3 (ball): ball_mom_nostokes.m and ball_mom_stokes.m
Section 6.4 (ball with p-norm bounds): ballpnorm_mom_nostokes.m and ballpnorm_mom_stokes.m
Section 6.5.1 (l4 disk): l4disk_sos_nostokes.m and l4disk_sos_stokes.m
Section 6.5.2 (double disk): doubledisk_sos_nostokes.m and doubledisk_sos_stokes.m
Last modified in February 2022.