14 citations · 58 across the 10 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2014★ 5 cited
Certification of Real Inequalities -- Templates and Sums of Squares
Xavier Allamigeon, Stéphane Gaubert, Victor Magron +1
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…
math.OC2013
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 , , where is a multivariate transcendental function, and is a compact semialgebr…