People

Victor Magron

Victor Magron

Team

POP : Polynomial OPtimization

Contact details

Email :

Phone :

Links

Latest publications

2024

Journal articles

Nicolas Augier, Didier Henrion, Milan Korda, Victor Magron. Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations. ESAIM: Control, Optimisation and Calculus of Variations, 2024, 30, pp.63. ⟨10.1051/cocv/2024053⟩. ⟨hal-04694171v2⟩

Adrien Le Franc, Victor Magron, Jean-Bernard Lasserre, Manuel Ruiz, Patrick Panciatici. Minimal Sparsity for Second-Order Moment-SOS Relaxations of the AC-OPF Problem. IEEE Transactions on Power Systems, 2024, 39 (3), pp.5408 - 5415. ⟨10.1109/TPWRS.2023.3333691⟩. ⟨hal-04110742v2⟩

Jie Wang, Jacopo Surace, Irénée Frérot, Benoît Legat, Marc-Olivier Renou, et al.. Certifying ground-state properties of many-body systems. Physical Review X, 2024, 14 (3), pp.031006. ⟨10.1103/PhysRevX.14.031006⟩. ⟨hal-04264341⟩

Conference papers

Victor Magron. State polynomial optimization for nonlinear Bell inequalities. Effective Methods in Algebraic Geometry, Jul 2024, Leipzig, Germany. ⟨hal-04719283⟩

Victor Magron. Trace polynomial optimization with applications in quantum information. Workshop on Semidefinite and Polynomial Optimization, Aug 2024, Amsterdam (Hollande), Netherlands. ⟨hal-04719307⟩

Yoshio Ebihara, Xin Dai, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech. Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification. European Control Conference (ECC 2024), Jun 2024, Stockholm, Sweden. ⟨10.23919/ECC64448.2024.10590974⟩. ⟨hal-04247204⟩

Other documents

Srećko Đurašinović, Jianting Yang, Jean-Bernard Lasserre, Victor Magron, Jun Zhao. Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization. R&T Days 2024, Jul 2024, Toulouse (FRANCE), France. 2024. ⟨hal-04720757⟩

@softwareversion

Victor Magron. RealCertify. 2024, ⟨swh:1:dir:65138ea897686eed5531074255caa4dd21d087b4;origin=https://hal.archives-ouvertes.fr/hal-04719526;visit=swh:1:snp:e32a3b48f1744a2714f5f9ddbf411cc278807f96;anchor=swh:1:rel:c474cafbf7034e92b0fe2e165b1355af844bf4c2;path=/⟩. ⟨hal-04719526⟩

Victor Magron, Jie Wang. TSSOS. 2024, ⟨swh:1:dir:cbf2ecc0d62a29200571c1fefaab9e97d62fb6a4;origin=https://hal.archives-ouvertes.fr/hal-04719510;visit=swh:1:snp:99ab25528c5694b6e3de07baa33fab62d9ba3b25;anchor=swh:1:rel:7933a8a0093f3fae2d54c3bb5c3edd84b6ed16b5;path=/⟩. ⟨hal-04719510⟩

Preprints, Working Papers, ...

Yoshio Ebihara, Noboru Sebe, Hayato Waki, Dimitri Peaucelle, Sophie Tarbouriech, et al.. Induced Norm Analysis of Linear Systems for Nonnegative Input Signals. 2024. ⟨hal-04438031⟩

Didier Henrion, Adrien Le Franc, Victor Magron. Slow convergence of the moment-SOS hierarchy for an elementary polynomial optimization problem. 2024. ⟨hal-04500960v2⟩

Jianting Yang, Srećko Ðurašinović, Jean-Bernard Lasserre, Victor Magron, Jun Zhao. Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization. 2024. ⟨hal-04589986⟩

Shingo Nishinaka, Rin Saeki, Tsuyoshi Yuno, Yoshio Ebihara, Victor Magron, et al.. Stability Analysis of Feedback Systems with ReLU Nonlinearities via Semialgebraic Set Representation. 2024. ⟨hal-04495314⟩

Igor Klep, Victor Magron, Gaël Massé, Jurij Volčič. Upper bound hierarchies for noncommutative polynomial optimization. 2024. ⟨hal-04440949⟩

2023

Journal articles

Serban Belinschi, Victor Magron, Victor Vinnikov. Noncommutative Christoffel-Darboux Kernels. Transactions of the American Mathematical Society, 2023, 376, pp.181-230. ⟨10.1090/tran/8648⟩. ⟨hal-03433869⟩

Victor Magron, Mohab Safey El Din, Trung-Hieu Vu. Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients. SIAM Journal on Optimization, 2023, 33 (1), ⟨10.1137/21M1436245⟩. ⟨hal-03312392⟩

Victor Magron, Jie Wang. SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming. Journal of Symbolic Computation, 2023, 115, pp.346-370. ⟨10.1016/j.jsc.2022.08.002⟩. ⟨hal-03070864⟩

Milan Korda, Monique Laurent, Victor Magron, Andries Steenkamp. Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks. Mathematical Programming, 2023, 205, pp.703-744. ⟨10.1007/s10107-023-01993-x⟩. ⟨hal-03782934⟩

Didier Henrion, Felix Kirschner, Etienne de Klerk, Milan Korda, Jean-Bernard Lasserre, et al.. Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives. INFORMS Journal on Computing, 2023, 35 (2), pp.265-517. ⟨10.1287/ijoc.2022.1220⟩. ⟨hal-03429272v2⟩

Books

Victor Magron, Jie Wang. Sparse Polynomial Optimization: Theory and Practice. World Scientific Press. 2023, Series on Optimization and Its Applications, 978-1-80061-294-5. ⟨10.1142/q0382⟩. ⟨hal-03760501⟩

Conference papers

Victor Magron. Sparse polynomial optimization: theory and practice. 17th International Symposium on Operations Research in Slovenia, Sep 2023, Bled (Slovénie), Slovenia. ⟨hal-04719292⟩

Victor Magron. Exploiting sparsity in polynomial optimization. Journées nationales de calcul formel (JNCF), Mar 2023, Marseille (CIRM, Centre International de Rencontres Mathématiques), France. ⟨hal-04719298⟩

Preprints, Working Papers, ...

Igor Klep, Victor Magron, Jurij Volčič, Jie Wang. State polynomials: positivity, optimization and nonlinear Bell inequalities. 2023. ⟨hal-03964830⟩

Jared Miller, Milan Korda, Victor Magron, Mario Sznaier. Peak Estimation of Time Delay Systems using Occupation Measures. 2023. ⟨hal-04047493⟩

Jie Wang, Victor Magron. A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients. 2023. ⟨hal-04189927⟩

Victor Magron, Przemysław Koprowski, Tristan Vaccon. Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares. 2023. ⟨hal-03976836⟩

Igor Klep, Victor Magron, Jurij Volčič. Sums of squares certificates for polynomial moment inequalities. 2023. ⟨hal-04125262⟩

Ngoc Hoang Anh Mai, Victor Magron. Sums of squares representations on singular loci. 2023. ⟨hal-04023980⟩

Victor Magron. Exploiting sparsity in polynomial optimization. École thématique. Luminy, France. 2023. ⟨hal-04193936⟩

Milan Korda, Victor Magron, Rodolfo Rios-Zertuche. Convergence rates for sums-of-squares hierarchies with correlative sparsity. 2023. ⟨hal-04049383⟩

John H. Selby, Ana Belén Sainz, Victor Magron, Łukasz Czekaj, Michał Horodecki. Correlations constrained by composite measurements. 2023. ⟨hal-04117038⟩

2022

Journal articles

Ngoc Hoang Anh Mai, Victor Magron. On the complexity of Putinar-Vasilescu's Positivstellensatz. Journal of Complexity, 2022, ⟨10.1016/j.jco.2022.101663⟩. ⟨hal-03820206⟩

Nils Vreman, Paolo Pazzaglia, Jie Wang, Victor Magron, Martina Maggio. Stability of Linear Systems under Extended Weakly-Hard Constraints. IEEE Control Systems Letters, 2022, 6, pp.2900-2905. ⟨10.1109/LCSYS.2022.3179960⟩. ⟨hal-03127108⟩

Jie Wang, Victor Magron, Jean-Bernard Lasserre. Certifying Global Optimality of AC-OPF Solutions via the CS-TSSOS Hierarchy. Electric Power Systems Research, 2022, 213, pp.108683. ⟨10.1016/j.epsr.2022.108683⟩. ⟨hal-03351160⟩

Ngoc Hoang Anh Mai, Jean-Bernard Lasserre, Victor Magron, Jie Wang. Exploiting constant trace property in large-scale polynomial optimization. ACM Transactions on Mathematical Software, 2022, 48 (4), pp.1-39. ⟨10.1145/3555309⟩. ⟨hal-03079000⟩

Jie Wang, Victor Magron. Exploiting Sparsity in Complex Polynomial Optimization. Journal of Optimization Theory and Applications, 2022, 192, pp.335-359. ⟨10.1007/s10957-021-01975-z⟩. ⟨hal-03178832⟩

Felix Huber, Igor Klep, Victor Magron, Jurij Volčič. Dimension-free entanglement detection in multipartite Werner states. Communications in Mathematical Physics, 2022, 396, pp.1051-1070. ⟨10.1007/s00220-022-04485-9⟩. ⟨hal-03322991⟩

N. H. A. Mai, Victor Magron, Jean-Bernard Lasserre. A sparse version of Reznick's Positivstellensatz. Mathematics of Operations Research, 2022, ⟨10.1287/moor.2022.1284⟩. ⟨hal-02477339⟩

Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels. A Sublevel Moment-SOS Hierarchy for Polynomial Optimization. Computational Optimization and Applications, 2022, 81 (1), pp.31-66. ⟨10.1007/s10589-021-00325-z⟩. ⟨hal-03109978⟩

Conference papers

Yoshio Ebihara, Hayato Waki, Noboru Sebe, Victor Magron, Dimitri Peaucelle, et al.. L 2+ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming. European Control Conference (ECC 2022), Jul 2022, Londres, United Kingdom. ⟨10.23919/ECC55457.2022.9838085⟩. ⟨hal-03740522⟩

Victor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu. Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients. International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2022, Lille, France. ⟨hal-03575157⟩

Victor Magron. Conic programming for certified polynomial optimization. Conic Linear Optimization for Computer-Assisted Proofs, Apr 2022, Oberwolfach (Germany), Germany. ⟨hal-04719316⟩

Preprints, Working Papers, ...

Victor Magron, Ngoc Hoang Anh Mai, Yoshio Ebihara, Hayato Waki. Tractable semidefinite bounds of positive maximal singular values. 2022. ⟨hal-03580048⟩

Milan Korda, Jean-Bernard Lasserre, Alexey Lazarev, Victor Magron, Simone Naldi. Urysohn in action: separating semialgebraic sets by polynomials. 2022. ⟨hal-03712510⟩

Ngoc Hoang Anh Mai, Victor Magron, Jean-Bernard Lasserre, Kim-Chuan Toh. Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant. 2022. ⟨hal-03776853⟩

2021

Journal articles

Victor Magron, Mohab Safey El Din. On Exact Reznick, Hilbert-Artin and Putinar's Representations. Journal of Symbolic Computation, 2021, 107, pp.221-250. ⟨10.1016/j.jsc.2021.03.005⟩. ⟨hal-01935727⟩

Jie Wang, Victor Magron, Jean-Bernard Lasserre. TSSOS: A Moment-SOS hierarchy that exploits term sparsity. SIAM Journal on Optimization, 2021, 31 (1), pp.30--58. ⟨10.1137/19M1307871⟩. ⟨hal-02448389⟩

Jean-Bernard Lasserre, Victor Magron, Swann Marx, Olivier Zahm. Minimizing rational functions: a hierarchy of approximations via pushforward measures. SIAM Journal on Optimization, 2021, 31 (3), pp.2285-2306. ⟨10.1137/20M138541X⟩. ⟨hal-03053386⟩

Jie Wang, Victor Magron, Jean-Bernard Lasserre. Chordal-TSSOS: a moment-SOS hierarchy that exploits term sparsity with chordal extension. SIAM Journal on Optimization, 2021, ⟨10.1137/20M1323564⟩. ⟨hal-02502131⟩

Yoshio Ebihara, Hayato Waki, Victor Magron, Ngoc Hoang Anh Mai, Dimitri Peaucelle, et al.. $l_2$ Induced Norm Analysis of Discrete-Time LTI Systems for Nonnegative Input Signals and Its Application to Stability Analysis of Recurrent Neural Networks. European Journal of Control, 2021, 62, pp.99-104. ⟨10.1016/j.ejcon.2021.06.022⟩. ⟨hal-03026445⟩

Ngoc Hoang Anh Mai, Jean-Bernard Lasserre, Victor Magron. Positivity certificates and polynomial optimization on non-compact semialgebraic sets. Mathematical Programming, Series A, 2021, ⟨10.1007/s10107-021-01634-1⟩. ⟨hal-02382059⟩

Igor Klep, Victor Magron, Jurij Volčič. Optimization over trace polynomials. Annales Henri Poincaré, 2021, ⟨10.1007/s00023-021-01095-4⟩. ⟨hal-02879621⟩

Jie Wang, Victor Magron. Exploiting term sparsity in Noncommutative Polynomial Optimization. Computational Optimization and Applications, 2021, 80, pp.483-521. ⟨10.1007/s10589-021-00301-7⟩. ⟨hal-02967839⟩

Conference papers

Victor Magron, Jie Wang. TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization. Effective Methods in Algebraic Geometry, Jun 2021, Tromso, Norway. ⟨10.48550/arXiv.2103.00915⟩. ⟨hal-03155742⟩

Yoshio Ebihara, Hayato Waki, Victor Magron, Ngoc Hoang Anh Mai, Dimitri Peaucelle, et al.. Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers. Control and Decision Conference (CDC) 2021, Dec 2021, Austin, United States. pp.5098-5103, ⟨10.1109/CDC45484.2021.9683530⟩. ⟨hal-03564261⟩

Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels. Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification. Advances in Neural Information Processing Systems, Dec 2021, Online, France. ⟨hal-03265346⟩

Jie Wang, Martina Maggio, Victor Magron. SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions. 2021 American Control Conference (ACC), May 2021, New Orleans, United States. ⟨10.23919/ACC50511.2021.9483347⟩. ⟨hal-02923348⟩

Ngoc Hoang Anh Mai, Abhishek Bhardwaj, Victor Magron. The Constant Trace Property in Noncommutative Optimization. International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersbourg, Russia. ⟨10.1145/3452143.3465516⟩. ⟨hal-03130967⟩

PhD thesis, HDR

Victor Magron. The quest of modeling, certification and efficiency in polynomial optimization. Automatic Control Engineering. Université Toulouse 3 Paul Sabatier, 2021. ⟨tel-03246038⟩

Preprints, Working Papers, ...

Ngoc Hoang Anh Mai, Victor Magron, Jean-Bernard Lasserre. A hierarchy of spectral relaxations for polynomial optimization. 2021. ⟨hal-03149938⟩

Abhishek Bhardwaj, Igor Klep, Victor Magron. Noncommutative Polynomial Optimization. 2021. ⟨hal-03333504⟩

Victor Magron, Jie Wang, Corbinian Schlosser, Milan Korda. Exploiting Term Sparsity in Moment-SOS hierarchy for Dynamical Systems. 2021. ⟨hal-03439458⟩

2020

Journal articles

Victor Magron, Christophe Prieur. Optimal Control of Linear PDEs using Occupation Measures and SDP Relaxations. IMA Journal of Mathematical Control and Information, 2020, 37 (1), pp.159-174. ⟨10.1093/imamci/dny044⟩. ⟨hal-01966782⟩

Jean-Bernard Lasserre, Victor Magron. Computing the Hausdorff boundary measure of semi-algebraic sets. SIAM Journal on Applied Algebra and Geometry, 2020, 4 (3), pp.441-469. ⟨10.1137/20M1314392⟩. ⟨hal-02448149⟩

Igor Klep, Victor Magron, Janez Povh. Sparse Noncommutative Polynomial Optimization. Mathematical Programming, Series A, 2020, ⟨10.1007/s10107-020-01610-1⟩. ⟨hal-02278767⟩

Conference papers

Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels. Semialgebraic Optimization for Lipschitz Constants of ReLU Networks. Conference on Neural Information Processing Systems, Dec 2020, Vancouver, Canada. ⟨hal-02940488⟩

Victor Magron, Jie Wang. A second order cone characterization for sums of nonnegative circuits. 45th International Symposium on Symbolic and Algebraic Computation (ISSAC'20), Jul 2020, Virtual, Greece. pp.450-457, ⟨10.1145/3373207.3404033⟩. ⟨hal-02473446⟩

Preprints, Working Papers, ...

Jie Wang, Victor Magron, Jean B Lasserre, Ngoc Hoang Anh Mai. CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization. 2020. ⟨hal-02566472⟩

Grigory Devadze, Victor Magron, Stefan Streif. Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis. 2020. ⟨hal-02873040⟩

2019

Journal articles

Jean-Bernard Lasserre, Victor Magron. In SDP relaxations, inaccurate solvers do robust optimization. SIAM Journal on Optimization, 2019, 29 (3), pp.2128-2145. ⟨10.1137/18M1225677⟩. ⟨hal-01915976⟩

Victor Magron, Marcelo Forets, Didier Henrion. Semidefinite Approximations of Invariant Measures for Polynomial Systems. Discrete and Continuous Dynamical Systems - Series B, 2019, 24 (12), pp.6745-6770. ⟨10.3934/dcdsb.2019165⟩. ⟨hal-01828443⟩

Victor Magron, Henning Seidler, Timo de Wolff. EXACT OPTIMIZATION VIA SUMS OF NONNEGATIVE CIRCUITS AND SUMS OF AM/GM EXPONENTIALS. ACM Communications in Computer Algebra, 2019, ⟨10.1145/3326229.3326271⟩. ⟨hal-02006899⟩

Victor Magron, Pierre-Loïc Garoche, Didier Henrion, Xavier Thirioux. Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems. SIAM Journal on Control and Optimization, 2019, 57 (4), pp.2799-2820. ⟨10.1137/17M1121044⟩. ⟨hal-01490897⟩

Victor Magron, Mohab Safey El Din, Markus Schweighofer. Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials. Journal of Symbolic Computation, 2019, 93, pp.200-220. ⟨10.1016/j.jsc.2018.06.005⟩. ⟨hal-01538729⟩

Victor Magron, Alexandre Rocca, Thao Dang. Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations. IEEE Transactions on Computers, 2019, 68 (7), pp.953-966. ⟨10.1109/TC.2018.2851235⟩. ⟨hal-01956817⟩

Books

Victor Magron, Alexandre Rocca, Thao Dang. Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. 68 (7), pp.953-966, 2019, ⟨10.1109/TC.2018.2851235⟩. ⟨hal-02402354⟩

Other documents

Dimitri Peaucelle, Marie-José Huguet, Yannick Pencolé, Christian Artigues, Emmanuel Hébrard, et al.. Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRS. Rapport LAAS n° 19270. 2019. ⟨hal-02295816⟩

2018

Journal articles

Victor Magron. Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming. ACM Transactions on Mathematical Software, 2018, 44 (4), pp.41:1--41:18. ⟨10.1145/3206430⟩. ⟨hal-01956815⟩

Jean-Bernard Lasserre, Victor Magron. Optimal data fitting: a moment approach. SIAM Journal on Optimization, 2018, 28 (4), pp.3127-3144. ⟨10.1137/18M1170108⟩. ⟨hal-01706850⟩

Victor Magron, Mohab Safey El Din. RealCertify: a Maple package for certifying non-negativity. ACM Communications in Computer Algebra, 2018, 52 (2), pp.34-37. ⟨10.1145/3282678.3282681⟩. ⟨hal-01956812⟩

Conference papers

Victor Magron, Mohab Safey El Din. On Exact Polya and Putinar's Representations. ISSAC '18 International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States. pp.279-286, ⟨10.1145/3208976.3208986⟩. ⟨hal-01720612⟩

2017

Preprints, Working Papers, ...

Alexandre Rocca, Victor Magron, Thao Dang. Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations. 2017. ⟨hal-01448167⟩

Victor Magron, Mountassir Farid. A Certified Lower Bounds of Roundoff Errors using Semidefinite Programming. 2017. ⟨hal-01448160⟩

Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. A Sums-of-Squares Extension of Policy Iterations. 2017. ⟨hal-01133405v2⟩

2015

Journal articles

Victor Magron, Didier Henrion, Jean-Bernard Lasserre. Semidefinite approximations of projections and polynomial images of semialgebraic sets. SIAM Journal on Optimization, 2015, 25 (4), pp. 2143-2164. ⟨hal-01075343v2⟩

Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner. Formal Proofs for Nonlinear Optimization. Journal of Formalized Reasoning, 2015, 8 (15), pp.1-24. ⟨hal-00985675⟩

Book sections

Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. Blazy Sandrine; Jensen Thomas. Static Analysis, Springer Berlin Heidelberg, pp.235-251, 2015, 978-3-662-48287-2. ⟨10.1007/978-3-662-48288-9_14⟩. ⟨hal-01369974⟩

Conference papers

Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. Verification Model Checking and Abstract Interpretation 2015 (VMCAI 2015), Jan 2015, Mumbai, India. pp.99-116. ⟨hal-01371514⟩

Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Property-based Polynomial Invariant Generation Using Sums-Of-Squares . Static Analysis Symposium 2015 (2015), Sep 2015, Saint-Malo, France. pp.235-251. ⟨hal-01371508⟩

Preprints, Working Papers, ...

Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization. 2015. ⟨hal-01134816⟩

2014

Journal articles

Victor Magron, Didier Henrion, Jean-Bernard Lasserre. Approximating Pareto Curves using Semidefinite Relaxations. Operations Research Letters, 2014, 42 (6-7), pp.432-437. ⟨hal-00980625v2⟩

Victor Magron. Error Bounds for Polynomial Optimization over the Hypercube using Putinar type Representations. Optimization Letters, 2014, ⟨10.1007/s11590-014-0797-8⟩. ⟨hal-00983485⟩

Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner. Certification of real inequalities: templates and sums of squares. Mathematical Programming, 2014, 151 (2), pp.30. ⟨10.1007/s10107-014-0834-5⟩. ⟨hal-01096485⟩

Conference papers

Victor Magron. NLCertify: A Tool for Formal Nonlinear Optimization. International Congress on Mathematical Software (ICMS), Aug 2014, Seoul, South Korea. 6p. ⟨hal-00995686⟩

Preprints, Working Papers, ...

Assalé Adjé, Victor Magron. Polynomial Template Generation using Sum-of-Squares Programming. 2014. ⟨hal-01064305⟩