Victor Magron is qualified to endorse.
NLCertify: A Tool for Formal Nonlinear Optimization
Victor Magron: | Is registered as an author of this paper. Can endorse for cs.LG, cs.LO, cs.MS, cs.NA, cs.SC, math.DS, math.FA, math.OA, math.OC. (why?) |
Victor Magron: | Is registered as an author of this paper. Can endorse for cs.LG, cs.LO, cs.MS, cs.NA, cs.SC, math.DS, math.FA, math.OA, math.OC. (why?) |