Victor Magron
Identifiers
- name variant Victor Magron 0.60 · backfill
Papers (29)
- The bulk spectral gap is semi-decidable: a convergent family of certified upper bounds quant-ph · 2026 · author #4
- Quantitative semidefinite certificates for ground-state energies of Pauli Hamiltonians quant-ph · 2026 · author #3
- Duality attainment and strict feasibility of the generalized moment problem and its relaxations math.OC · 2026 · author #2
- Robust self-testing with CHSH mod 3 math.OC · 2026 · author #3
- Convergence rates for polynomial optimization on set products math.OC · 2025 · author #1
- In SDP relaxations, inaccurate solvers do robust optimization math.OC · 2018 · author #2
- Semidefinite Approximations of Invariant Measures for Polynomial Systems math.DS · 2018 · author #1
- RealCertify: a Maple package for certifying non-negativity cs.SC · 2018 · author #1
- On Exact Polya and Putinar's Representations cs.SC · 2018 · author #1
- Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations cs.NA · 2018 · author #1
- Optimal data fitting: a moment approach math.OC · 2018 · author #2
- Optimal Control of PDEs using Occupation Measures and SDP Relaxations math.OC · 2017 · author #1
- Occupation measure methods for modelling and analysis of biological hybrid automata eess.SY · 2017 · author #3
- Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials cs.SC · 2017 · author #1
- Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems math.OC · 2017 · author #1
- Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming cs.NA · 2016 · author #1
- Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations cs.NA · 2016 · author #2
- Semidefinite approximations of projections and polynomial images of semialgebraic sets math.OC · 2015 · author #1
- Certified Roundoff Error Bounds Using Semidefinite Programming cs.NA · 2015 · author #1
- A Sums-of-Squares Extension of Policy Iterations cs.LO · 2015 · author #3
- Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization cs.LO · 2015 · author #3
- A formal proof of the Kepler conjecture math.MG · 2015 · author #8
- Polynomial Template Generation using Sum-of-Squares Programming cs.LO · 2014 · author #2
- NLCertify: A Tool for Formal Nonlinear Optimization cs.MS · 2014 · author #1
- Formal Proofs for Nonlinear Optimization cs.LO · 2014 · author #1
- Error Bounds for Polynomial Optimization over the Hypercube using Putinar type Representations math.OC · 2014 · author #1
- Certification of Real Inequalities -- Templates and Sums of Squares math.OC · 2014 · author #3
- Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation math.OC · 2013 · author #3
- Certification of Bounds of Non-linear Functions: the Templates Method cs.SC · 2013 · author #3
Mentions
- 2505.18580 #1 · arxiv_oai · confidence 0.70 Victor Magron
- 1802.04385 #1 · arxiv_oai · confidence 0.70 Victor Magron
- 1710.03158 #3 · arxiv_oai · confidence 0.70 Victor Magron
- 1611.01318 #1 · arxiv_oai · confidence 0.70 Victor Magron
- 1610.07038 #2 · arxiv_oai · confidence 0.70 Victor Magron
- 1507.03331 #1 · arxiv_oai · confidence 0.70 Victor Magron
- 1507.06143 #1 · backfill · confidence 0.70 Victor Magron
- 1507.03331 #1 · backfill · confidence 0.70 Victor Magron
- 1503.08090 #3 · backfill · confidence 0.70 Victor Magron
- 2606.03836 #4 · arxiv_oai · confidence 0.70 Victor Magron
- 1503.07025 #3 · backfill · confidence 0.70 Victor Magron
- 1501.02155 #8 · backfill · confidence 0.70 Victor Magron
- 1409.3941 #2 · backfill · confidence 0.70 Victor Magron
- 1405.5668 #1 · backfill · confidence 0.70 Victor Magron
- 1404.7282 #1 · backfill · confidence 0.70 Victor Magron
- 1404.6145 #1 · backfill · confidence 0.70 Victor Magron
- 1403.5899 #3 · backfill · confidence 0.70 Victor Magron
- 2605.29959 #3 · arxiv_oai · confidence 0.70 Victor Magron
- 1307.7002 #3 · backfill · confidence 0.70 Victor Magron
- 1307.3231 #3 · backfill · confidence 0.70 Victor Magron
Frequent Coauthors
- Benjamin Werner 4 shared papers
- St\'ephane Gaubert 4 shared papers
- Xavier Allamigeon 4 shared papers
- Alexandre Rocca 3 shared papers
- Igor Klep 3 shared papers
- Mohab Safey El Din 3 shared papers
- Thao Dang 3 shared papers
- Assal\'e Adj\'e 2 shared papers
- Didier Henrion 2 shared papers
- Jean-Bernard Lasserre 2 shared papers
- Marcelo Forets 2 shared papers
- Nando Leijenhorst 2 shared papers
- Alastair Donaldson 1 shared papers
- Alexey Solovyev 1 shared papers
- An Hoai Thi Ta 1 shared papers
- Assal\'e Adj\'e (Toulouse) 1 shared papers
- Cezary Kaliszyk 1 shared papers
- Christophe Prieur 1 shared papers
- Dat Tat Dang 1 shared papers
- Didier Henrion (LAAS) 1 shared papers