Victor Magron

ORCID

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 76

Top Venues

CoRR

SIAM J. Optim.

ISSAC

ACM Trans. Math. Softw.

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Ngoc Hoang Anh Mai, Jean-Bernard Lasserre, Victor Magron
A hierarchy of spectral relaxations for polynomial optimization. Math. Program. Comput. 15 (4) (2023)
Przemyslaw Koprowski, Victor Magron, Tristan Vaccon
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares. ISSAC (2023)
Jared Miller, Milan Korda, Victor Magron, Mario Sznaier
Peak Estimation of Time Delay Systems using Occupation Measures. CoRR (2023)
John H. Selby, Ana Belén Sainz, Victor Magron, Lukasz Czekaj, Michal Horodecki
Correlations constrained by composite measurements. Quantum 7 (2023)
Ngoc Hoang Anh Mai, Victor Magron, Jean B. Lasserre
A Sparse Version of Reznick's Positivstellensatz. Math. Oper. Res. 48 (2) (2023)
Jie Wang, Corbinian Schlosser, Milan Korda, Victor Magron
Exploiting Term Sparsity in Moment-SOS Hierarchy for Dynamical Systems. IEEE Trans. Autom. Control. 68 (12) (2023)
Jared Miller, Milan Korda, Victor Magron, Mario Sznaier
Peak Estimation of Time Delay Systems Using Occupation Measures. CDC (2023)
Victor Magron, Jie Wang
SONC optimization and exact nonnegativity certificates via second-order cone programming. J. Symb. Comput. 115 (2023)
Victor Magron, Przemyslaw Koprowski, Tristan Vaccon
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares. CoRR (2023)
Yoshio Ebihara, Xin Dai, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech
Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification. CoRR (2023)
Victor Magron, Mohab Safey El Din, Trung Hieu Vu
Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients. SIAM J. Optim. 33 (1) (2023)
Milan Korda, Victor Magron, Rodolfo Rios-Zertuche
Convergence rates for sums-of-squares hierarchies with correlative sparsity. CoRR (2023)
Ngoc Hoang Anh Mai, Jean-Bernard Lasserre, Victor Magron
Positivity certificates and polynomial optimization on non-compact semialgebraic sets. Math. Program. 194 (1) (2022)
Victor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu
Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients. ISSAC (2022)
Igor Klep, Victor Magron, Janez Povh
Sparse noncommutative polynomial optimization. Math. Program. 193 (2) (2022)
Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels
A sublevel moment-SOS hierarchy for polynomial optimization. Comput. Optim. Appl. 81 (1) (2022)
Yoshio Ebihara, Hayato Motooka, Hayato Waki, Noboru Sebe, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech
L2+ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming. ECC (2022)
Ngoc Hoang Anh Mai, Victor Magron
On the complexity of Putinar-Vasilescu's Positivstellensatz. J. Complex. 72 (2022)
Ngoc Hoang Anh Mai, Jean B. Lasserre, Victor Magron, Jie Wang
Exploiting Constant Trace Property in Large-scale Polynomial Optimization. ACM Trans. Math. Softw. 48 (4) (2022)
Ngoc Hoang Anh Mai, Victor Magron, Jean-Bernard Lasserre, Kim-Chuan Toh
Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant. CoRR (2022)
Jie Wang, Victor Magron, Jean B. Lasserre, Ngoc Hoang Anh Mai
CS-TSSOS: Correlative and Term Sparsity for Large-Scale Polynomial Optimization. ACM Trans. Math. Softw. 48 (4) (2022)
Victor Magron, Jie Wang
Sparse Polynomial Optimization: Theory and Practice. CoRR (2022)
Nils Vreman, Paolo Pazzaglia, Victor Magron, Jie Wang, Martina Maggio
Stability of Linear Systems Under Extended Weakly-Hard Constraints. IEEE Control. Syst. Lett. 6 (2022)
Victor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu
Exact SOHS decompositions of trigonometric univariate polynomials with Gaussian coefficients. CoRR (2022)
Jie Wang, Victor Magron
Exploiting Sparsity in Complex Polynomial Optimization. J. Optim. Theory Appl. 192 (1) (2022)
Yoshio Ebihara, Hayato Waki, Victor Magron, Ngoc Hoang Anh Mai, Dimitri Peaucelle, Sophie Tarbouriech
Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers. CoRR (2022)
Jean-Bernard Lasserre, Victor Magron, Swann Marx, Olivier Zahm
Minimizing Rational Functions: A Hierarchy of Approximations via Pushforward Measures. SIAM J. Optim. 31 (3) (2021)
Jie Wang, Victor Magron
Exploiting term sparsity in noncommutative polynomial optimization. Comput. Optim. Appl. 80 (2) (2021)
Jie Wang, Victor Magron, Jean-Bernard Lasserre
Chordal-TSSOS: A Moment-SOS Hierarchy That Exploits Term Sparsity with Chordal Extension. SIAM J. Optim. 31 (1) (2021)
Tong Chen, Jean B. Lasserre, Victor Magron, Edouard Pauwels
Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification. NeurIPS (2021)
Victor Magron, Mohab Safey El Din, Trung Hieu Vu
Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients. CoRR (2021)
Yoshio Ebihara, Hayato Waki, Victor Magron, Ngoc Hoang Anh Mai, Dimitri Peaucelle, Sophie Tarbouriech
Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers. CDC (2021)
Ngoc Hoang Anh Mai, Abhishek Bhardwaj, Victor Magron
The Constant Trace Property in Noncommutative Optimization. ISSAC (2021)
Victor Magron, Jie Wang
TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization. CoRR (2021)
Jie Wang, Martina Maggio, Victor Magron
SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions. ACC (2021)
Jie Wang, Victor Magron, Jean-Bernard Lasserre
TSSOS: A Moment-SOS Hierarchy That Exploits Term Sparsity. SIAM J. Optim. 31 (1) (2021)
Victor Magron, Mohab Safey El Din
On exact Reznick, Hilbert-Artin and Putinar's representations. J. Symb. Comput. 107 (2021)
Yoshio Ebihara, Hayato Waki, Victor Magron, Ngoc Hoang Anh Mai, Dimitri Peaucelle, Sophie Tarbouriech
l2 induced norm analysis of discrete-time LTI systems for nonnegative input signals and its application to stability analysis of recurrent neural networks. Eur. J. Control 62 (2021)
Grigory Devadze, Victor Magron, Stefan Streif
Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis. CoRR (2020)
Jean B. Lasserre, Victor Magron
Computing the Hausdorff Boundary Measure of Semialgebraic Sets. SIAM J. Appl. Algebra Geom. 4 (3) (2020)
Victor Magron, Christophe Prieur
Optimal control of linear PDEs using occupation measures and SDP relaxations. IMA J. Math. Control. Inf. 37 (1) (2020)
Jie Wang, Victor Magron
A second order cone characterization for sums of nonnegative circuits. ISSAC (2020)
Jie Wang, Victor Magron, Jean B. Lasserre, Ngoc Hoang Anh Mai
CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization. CoRR (2020)
Victor Magron, Jie Wang
SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming. CoRR (2020)
Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels
Polynomial Optimization for Bounding Lipschitz Constants of Deep Networks. CoRR (2020)
Tong Chen, Jean B. Lasserre, Victor Magron, Edouard Pauwels
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks. NeurIPS (2020)
Victor Magron, Henning Seidler, Timo de Wolff
Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials. ISSAC (2019)
Jean-Bernard Lasserre, Victor Magron
In SDP Relaxations, Inaccurate Solvers Do Robust Optimization. SIAM J. Optim. 29 (3) (2019)
Victor Magron, Pierre-Loïc Garoche, Didier Henrion, Xavier Thirioux
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems. SIAM J. Control. Optim. 57 (4) (2019)
Victor Magron, Alexandre Rocca, Thao Dang
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. IEEE Trans. Computers 68 (7) (2019)
Victor Magron, Mohab Safey El Din, Markus Schweighofer
Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials. J. Symb. Comput. 93 (2019)
Victor Magron, Henning Seidler, Timo de Wolff
Exact Optimization via Sums of Nonnegative Circuits and Sums of AM/GM Exponentials. CoRR (2019)
Victor Magron
Interval Enclosures of Upper Bounds of Roundoff Errors Using Semidefinite Programming. ACM Trans. Math. Softw. 44 (4) (2018)
Jean-Bernard Lasserre, Victor Magron
Optimal Data Fitting: A Moment Approach. SIAM J. Optim. 28 (4) (2018)
Victor Magron, Alexandre Rocca, Thao Dang
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations. CoRR (2018)
Victor Magron, Mohab Safey El Din
On Exact Polya, Hilbert-Artin and Putinar's Representations. CoRR (2018)
Alexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, Thao Dang
Occupation measure methods for modelling and analysis of biological hybrid systems. ADHS (2018)
Victor Magron, Mohab Safey El Din
Realcertify: a maple package for certifying non-negativity. ACM Commun. Comput. Algebra 52 (2) (2018)
Victor Magron, Mohab Safey El Din
On Exact Polya and Putinar's Representations. CoRR (2018)
Victor Magron, Mohab Safey El Din
RealCertify: a Maple package for certifying non-negativity. CoRR (2018)
Victor Magron, Mohab Safey El Din
On Exact Polya and Putinar's Representations. ISSAC (2018)
Alexandre Rocca, Victor Magron, Thao Dang
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. ARITH (2017)
Thao Dang, Eric Fanchon, Marcelo Forets, Victor Magron, Alexandre Rocca
Occupation measure methods for modelling and analysis of biological hybrid automata. CoRR (2017)
Victor Magron, Mohab Safey El Din, Markus Schweighofer
Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials. CoRR (2017)
Victor Magron, George A. Constantinides, Alastair F. Donaldson
Certified Roundoff Error Bounds Using Semidefinite Programming. ACM Trans. Math. Softw. 43 (4) (2017)
Alexandre Rocca, Victor Magron, Thao Dang
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations. CoRR (2016)
Victor Magron, Mountassir Farid
Certified Lower Bounds of Roundoff Errors using Semidefinite Programming. CoRR (2016)
Victor Magron
Error bounds for polynomial optimization over the hypercube using putinar type representations. Optim. Lett. 9 (5) (2015)
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. SAS (2015)
Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner
Certification of real inequalities: templates and sums of squares. Math. Program. 151 (2) (2015)
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization. CoRR (2015)
Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner
Formal Proofs for Nonlinear Optimization. J. Formaliz. Reason. 8 (1) (2015)
Victor Magron, George A. Constantinides, Alastair F. Donaldson
Certified Roundoff Error Bounds Using Semidefinite Programming. CoRR (2015)
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
A Sums-of-Squares Extension of Policy Iterations. CoRR (2015)
Victor Magron, Didier Henrion, Jean-Bernard Lasserre
Semidefinite Approximations of Projections and Polynomial Images of SemiAlgebraic Sets. SIAM J. Optim. 25 (4) (2015)
Thomas C. Hales, Mark Adams, Gertrud Bauer, Dat Tat Dang, John Harrison, Truong Le Hoang, Cezary Kaliszyk, Victor Magron, Sean McLaughlin, Thang Tat Nguyen, Truong Quang Nguyen, Tobias Nipkow, Steven Obua, Joseph Pleso, Jason M. Rute, Alexey Solovyev, An Hoai Thi Ta, Trung Nam Tran, Diep Thi Trieu, Josef Urban, Ky Khac Vu, Roland Zumkeller
A formal proof of the Kepler conjecture. CoRR (2015)
Victor Magron
NLCertify: A Tool for Formal Nonlinear Optimization. ICMS (2014)
Victor Magron
NLCertify: A Tool for Formal Nonlinear Optimization. CoRR (2014)
Assalé Adjé, Victor Magron
Polynomial Template Generation using Sum-of-Squares Programming. CoRR (2014)
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
Formal Proofs for Nonlinear Optimization. CoRR (2014)
Victor Magron, Didier Henrion, Jean-Bernard Lasserre
Approximating Pareto curves using semidefinite relaxations. Oper. Res. Lett. 42 (6-7) (2014)
Victor Magron, Didier Henrion, Jean-Bernard Lasserre
Approximating Pareto Curves using Semidefinite Relaxations. CoRR (2014)
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
Certification of Bounds of Non-linear Functions: the Templates Method. CoRR (2013)
Xavier Allamigeon, Stephane Gaubert, Victor Magron, Benjamin Werner
Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation. ECC (2013)
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
Certification of Bounds of Non-linear Functions: The Templates Method. MKM/Calculemus/DML (2013)

Victor Magron.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Victor Magron