| A formal proof of the Kepler conjecture T Hales, M Adams, G Bauer, TD Dang, J Harrison, H Le Truong, ... Forum of mathematics, Pi 5, e2, 2017 | 501 | 2017 |
| TSSOS: A Moment-SOS hierarchy that exploits term sparsity J Wang, V Magron, JB Lasserre SIAM Journal on Optimization 31 (1), 30-58, 2021 | 154 | 2021 |
| Certified roundoff error bounds using semidefinite programming V Magron, G Constantinides, A Donaldson ACM Transactions on Mathematical Software (TOMS) 43 (4), 1-31, 2017 | 117 | 2017 |
| CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization J Wang, V Magron, JB Lasserre, NHA Mai ACM Transactions on Mathematical Software 48 (4), 1-26, 2022 | 91 | 2022 |
| Semialgebraic Optimization for Lipschitz Constants of ReLU Networks T Chen, JB Lasserre, V Magron, E Pauwels Advances in Neural Information Processing Systems 33, 19189-19200, 2020 | 62 | 2020 |
| Sparse Polynomial Optimization: Theory and Practice V Magron, J Wang arXiv preprint arXiv:2208.11158, 2022 | 49 | 2022 |
| Sparse noncommutative polynomial optimization I Klep, V Magron, J Povh Mathematical Programming, 1-41, 2022 | 48 | 2022 |
| Semidefinite approximations of reachable sets for discrete-time polynomial systems V Magron, PL Garoche, D Henrion, X Thirioux SIAM Journal on Control and Optimization 57 (4), 2799-2820, 2019 | 40 | 2019 |
| Semidefinite approximations of projections and polynomial images of semialgebraic sets V Magron, D Henrion, JB Lasserre SIAM Journal on Optimization 25 (4), 2143-2164, 2015 | 39 | 2015 |
| Exploiting term sparsity in noncommutative polynomial optimization J Wang, V Magron Computational Optimization and Applications 80 (2), 483-521, 2021 | 37 | 2021 |
| A second order cone characterization for sums of nonnegative circuits J Wang, V Magron Proceedings of the 45th International Symposium on Symbolic and Algebraic …, 2020 | 35 | 2020 |
| Formal proofs for nonlinear optimization V Magron, X Allamigeon, S Gaubert, B Werner arXiv preprint arXiv:1404.7282, 2014 | 30 | 2014 |
| Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification T Chen, JB Lasserre, V Magron, E Pauwels Advances in Neural Information Processing Systems 34, 2021 | 27 | 2021 |
| Exploiting constant trace property in large-scale polynomial optimization NHA Mai, JB Lasserre, V Magron, J Wang ACM Transactions on Mathematical Software 48 (4), 1-39, 2022 | 25 | 2022 |
| Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials V Magron, MS El Din, M Schweighofer Journal of Symbolic Computation 93, 200-220, 2019 | 25 | 2019 |
| Interval enclosures of upper bounds of roundoff errors using semidefinite programming V Magron ACM Transactions on Mathematical Software (TOMS) 44 (4), 1-18, 2018 | 25 | 2018 |
| SONC optimization and exact nonnegativity certificates via second-order cone programming V Magron, J Wang Journal of Symbolic Computation 115, 346-370, 2023 | 24 | 2023 |
| On the complexity of Putinar-Vasilescu's Positivstellensatz NHA Mai, V Magron arXiv preprint arXiv:2104.11606, 2021 | 24 | 2021 |
| TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization V Magron, J Wang arXiv preprint arXiv:2103.00915, 2021 | 24 | 2021 |
| Chordal-TSSOS: a moment-SOS hierarchy that exploits term sparsity with chordal extension J Wang, V Magron, JB Lasserre SIAM Journal on Optimization 31 (1), 114-141, 2021 | 24 | 2021 |
Jean B. LasserreLAAS-CNRS & TSE, Toulouse France, ANITIVerified email at laas.fr
