14 citations · 58 across the 10 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
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…
cs.SC2013★ 7 cited
Certification of Bounds of Non-linear Functions: the Templates Method
Xavier Allamigeon, Stéphane Gaubert, Victor Magron +1
The aim of this work is to certify lower bounds for real-valued multivariate functions, defined by semialgebraic or transcendental expressions. The certificate must be, eventually,…