Werner, Benjamin
- Formal Proofs for Nonlinear Optimization
2014/04/29 by Victor Magron, Xavier Allamigeon, Magron, Victor +5 · 4 citations
Mathematics · Computer Science · #Advanced Optimization Algorithms Research #Polynomial and algebraic computation #Numerical Methods and Algorithms