13 citations · 27 across the 11 of their papers we have counts for
1 paper · 1 filter
Victor Magron
NLCertify is a software package for handling formal certification of nonlinear inequalities involving transcendental multivariate functions. The tool exploits sparse semialgebraic…