14 citations · 58 across the 10 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 13 cited
Formal Proofs for Nonlinear Optimization
Victor Magron, Xavier Allamigeon, Stéphane Gaubert +1
We present a formally verified global optimization framework. Given a semialgebraic or transcendental function and a compact semialgebraic domain , we use the nonlinear maxp…
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…