Victor Magron

Statistics

Publications

Citations

1.1K

H-Index

Active since

2014

Affiliations

Laboratoire d'Analyse et d'Architecture des Systèmes(Current)

Centre National de la Recherche Scientifique

Institut de Mathématiques de Toulouse

Institut National des Sciences Appliquées de Toulouse

Université Toulouse III - Paul Sabatier

Victor Magron is an author at Laboratoire d'Analyse et d'Architecture des Systèmes specializing in engineering, approximation theory, and mathematical programming.

ORCID

Top concepts

EngineeringMathematical ProgrammingApproximation TheoryComputer ScienceComputational ComplexityConvex OptimizationNumerical AnalysisCombinatorial OptimizationConic OptimizationLinear Programming

Publications per year

2014–2023

Publications

A FORMAL PROOF OF THE KEPLER CONJECTURE

Thomas Hales, Mark Adams, Gertrud Bauer et al. · Forum of Mathematics Pi · 2017 · 328 citations · Full text

Geometry Of Number, Formal Proof, Discrete Geometry +6

TSSOS: A Moment-SOS Hierarchy That Exploits Term Sparsity

Jie Wang, Victor Magron, Jean B. Lasserre · SIAM Journal on Optimization · 2021 · 99 citations

Mathematical Programming, Intelligent Information Processing, Engineering +19

Certified Roundoff Error Bounds Using Semidefinite Programming

Victor Magron, George A. Constantinides, Alastair F. Donaldson · ACM Transactions on Mathematical Software · 2017 · 87 citations

Numerical Analysis, Mathematical Programming, Engineering +19

Chordal-TSSOS: A Moment-SOS Hierarchy That Exploits Term Sparsity with Chordal Extension

Jie Wang, Victor Magron, Jean B. Lasserre · SIAM Journal on Optimization · 2021 · 78 citations

Mathematical Programming, Graph Sparsity, Engineering +20

CS-TSSOS: Correlative and Term Sparsity for Large-Scale Polynomial Optimization

Jie Wang, Victor Magron, Jean B. Lasserre et al. · ACM Transactions on Mathematical Software · 2022 · 60 citations · Full text

Mathematical Programming, Large-scale Global Optimization, Engineering +16

1–5 of 29