Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation

Xavier Allamigeon, Stéphane Gaubert, Victor Magron +1

We consider the problem of certifying an inequality of the form $f(x)\ge 0$, $\forall x\in K$, where $f$ is a multivariate transcendental function, and $K$ is a compact semialgebr…