14 citations · 58 across the 10 of their papers we have counts for
1 paper · 1 filter
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,…