Victor Magron

Victor Magron

Laboratoire d'Analyse et d'Architecture des Systèmes du CNRS - Toulouse / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4440866
CNRS Systems Analysis and Architecture Laboratory
person_outline Victor Magron's MOST POPULAR ARTICLES
1-) A formal proof of the Kepler conjectureT Hales, M Adams, G Bauer, TD Dang, J Harrison, H Le Truong, ...Forum of mathematics, Pi 5, 20173582017
2-) TSSOS: A Moment-SOS hierarchy that exploits term sparsityJ Wang, V Magron, JB LasserreSIAM Journal on Optimization 31 (1), 30-58, 2021942021
3-) Certified roundoff error bounds using semidefinite programmingV Magron, G Constantinides, A DonaldsonACM Transactions on Mathematical Software (TOMS) 43 (4), 1-31, 2017922017
4-) CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimizationJ Wang, V Magron, JB Lasserre, NHA MaiACM Transactions on Mathematical Software 48 (4), 1-26, 2022902022
5-) Semialgebraic Optimization for Lipschitz Constants of ReLU NetworksT Chen, JB Lasserre, V Magron, E PauwelsAdvances in Neural Information Processing Systems 33, 19189-19200, 2020622020