| 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 | 459 | 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 | 131 | 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 | 113 | 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 | 81 | 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 | 57 | 2020 |
| Sparse noncommutative polynomial optimization I Klep, V Magron, J Povh Mathematical Programming, 1-41, 2022 | 44 | 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 | 39 | 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 | 38 | 2015 |
| Sparse Polynomial Optimization: Theory and Practice V Magron, J Wang arXiv preprint arXiv:2208.11158, 2022 | 36 | 2022 |
| 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 | 33 | 2020 |
| Exploiting term sparsity in noncommutative polynomial optimization J Wang, V Magron Computational Optimization and Applications 80 (2), 483-521, 2021 | 32 | 2021 |
| 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 | 25 | 2021 |
| 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 |
| 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 | 24 | 2019 |
| On the complexity of Putinar-Vasilescu's Positivstellensatz NHA Mai, V Magron arXiv preprint arXiv:2104.11606, 2021 | 23 | 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 | 22 | 2022 |
| On exact Polya and Putinar's representations V Magron, M Safey El Din Proceedings of the 2018 ACM International Symposium on Symbolic and …, 2018 | 22 | 2018 |
| TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization V Magron, J Wang arXiv preprint arXiv:2103.00915, 2021 | 21 | 2021 |
| Property-based polynomial invariant generation using sums-of-squares optimization A Adjé, PL Garoche, V Magron Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015 | 21 | 2015 |
Jean B. LasserreLAAS-CNRS, Toulouse France, ANITI在 laas.fr 的电子邮件经过验证
