作者：Magron, Victor; Allamigeon, Xavier; Gaubert, Stephane; Werner, Benjamin
作者单位：Imperial College London; Inria; Institut Polytechnique de Paris; Ecole Polytechnique; Institut Polytechnique de Paris; Ecole Polytechnique; Institut Polytechnique de Paris; Ecole Polytechnique
摘要：We consider the problem of certifying lower bounds for real-valued multivariate transcendental functions. The functions we are dealing with are nonlinear and involve semialgebraic operations as well as some transcendental functions like , etc. Our general framework is to use different approximation methods to relax the original problem into polynomial optimization problems, which we solve by sparse sums of squares relaxations. In particular, we combine the ideas of the maxplus approximations (...
