GloptiPoly: global optimization over polynomials with Matlab and SeDuMi | IEEE Conference Publication | IEEE Xplore