Didier Henrion Jean B. Lasserre GloptiPoly: Global optimization over polynomials with Matlab and SeDuMi. 165-194 2003 29 ACM Trans. Math. Softw. 2 http://doi.acm.org/10.1145/779359.779363 db/journals/toms/toms29.html#HenrionL03