GloptiPoly: Global optimization over polynomials with Matlab and SeDuMi | ACM Transactions on Mathematical Software (TOMS) | DeepDyve