Victor Magron

Identifiers

No identifiers captured yet.

Papers (25)

1. Duality attainment and strict feasibility of the generalized moment problem and its relaxations math.OC · 2026 · author #2
2. Robust self-testing with CHSH mod 3 math.OC · 2026 · author #3
3. In SDP relaxations, inaccurate solvers do robust optimization math.OC · 2018 · author #2
4. Semidefinite Approximations of Invariant Measures for Polynomial Systems math.DS · 2018 · author #1
5. RealCertify: a Maple package for certifying non-negativity cs.SC · 2018 · author #1
6. On Exact Polya and Putinar's Representations cs.SC · 2018 · author #1
7. Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations cs.NA · 2018 · author #1
8. Optimal data fitting: a moment approach math.OC · 2018 · author #2
9. Optimal Control of PDEs using Occupation Measures and SDP Relaxations math.OC · 2017 · author #1
10. Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials cs.SC · 2017 · author #1
11. Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems math.OC · 2017 · author #1
12. Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming cs.NA · 2016 · author #1
13. Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations cs.NA · 2016 · author #2
14. Semidefinite approximations of projections and polynomial images of semialgebraic sets math.OC · 2015 · author #1
15. Certified Roundoff Error Bounds Using Semidefinite Programming cs.NA · 2015 · author #1
16. A Sums-of-Squares Extension of Policy Iterations cs.LO · 2015 · author #3
17. Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization cs.LO · 2015 · author #3
18. A formal proof of the Kepler conjecture math.MG · 2015 · author #8
19. Polynomial Template Generation using Sum-of-Squares Programming cs.LO · 2014 · author #2
20. NLCertify: A Tool for Formal Nonlinear Optimization cs.MS · 2014 · author #1
21. Formal Proofs for Nonlinear Optimization cs.LO · 2014 · author #1
22. Error Bounds for Polynomial Optimization over the Hypercube using Putinar type Representations math.OC · 2014 · author #1
23. Certification of Real Inequalities -- Templates and Sums of Squares math.OC · 2014 · author #3
24. Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation math.OC · 2013 · author #3
25. Certification of Bounds of Non-linear Functions: the Templates Method cs.SC · 2013 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Benjamin Werner 4 shared papers
• St\'ephane Gaubert 4 shared papers
• Xavier Allamigeon 4 shared papers
• Mohab Safey El Din 3 shared papers
• Alexandre Rocca 2 shared papers
• Assal\'e Adj\'e 2 shared papers
• Didier Henrion 2 shared papers
• Jean-Bernard Lasserre 2 shared papers
• Thao Dang 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
• Diep Thi Trieu 1 shared papers
• George Constantinides 1 shared papers
• Gertrud Bauer 1 shared papers