|
+
PDF
Chat
|
Leveraging Christoffel-Darboux Kernels to Strengthen Moment-SOS Relaxations
|
2025
|
Srećko Ðurašinović
Perla Azzi
Jean B. Lasserre
Victor Magron
Olga Mula
Jun Zhao
|
|
+
|
Complete Upper Bound Hierarchies for Spectral Minimum in Noncommutative Polynomial Optimization
|
2025
|
Igor Klep
Victor Magron
Jurij Volčič
|
|
+
PDF
Chat
|
Positivity of state, trace, and moment polynomials, and applications in
quantum information
|
2024
|
Felix Huber
Victor Magron
Jurij Volčič
|
|
+
PDF
Chat
|
Upper bound hierarchies for noncommutative polynomial optimization
|
2024
|
Igor Klep
Victor Magron
Gaël Massé
Jurij Volčič
|
|
+
|
Certifying Ground-State Properties of Many-Body Systems
|
2024
|
Jie Wang
Jacopo Surace
Irénée Frérot
Benoît Legat
Marc-Olivier Renou
Victor Magron
Antonio Acín
|
|
+
PDF
Chat
|
Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification
|
2024
|
Yoshio Ebihara
Xin Dai
Tsuyoshi Yuno
Victor Magron
Dimitri Peaucelle
Sophie Tarbouriech
|
|
+
PDF
Chat
|
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
|
2024
|
Jianting Yang
Srećko Ðurašinović
Jean B. Lasserre
Victor Magron
Jun Zhao
|
|
+
PDF
Chat
|
Convergence rates for sums-of-squares hierarchies with correlative sparsity
|
2024
|
Milan Korda
Victor Magron
Rodolfo Ríos-Zertuche
|
|
+
PDF
Chat
|
Induced Norm Analysis of Linear Systems for Nonnegative Input Signals
|
2024
|
Yoshio Ebihara
Noboru Sebe
Hayato Waki
Dimitri Peaucelle
Sophie Tarbouriech
Victor Magron
Tomomichi Hagiwara
|
|
+
|
Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations
|
2024
|
Nicolas Augier
Didier Henrion
Milan Korda
Victor Magron
|
|
+
PDF
Chat
|
Peak Estimation of Time Delay Systems Using Occupation Measures
|
2023
|
Jared Miller
Milan Korda
Victor Magron
Mario Sznaier
|
|
+
|
Minimal Sparsity for Second-Order Moment-SOS Relaxations of the AC-OPF Problem
|
2023
|
Adrien Le Franc
Victor Magron
Jean B. Lasserre
Manuel Ruíz
Patrick Panciatici
|
|
+
PDF
Chat
|
State polynomials: positivity, optimization and nonlinear Bell inequalities
|
2023
|
Igor Klep
Victor Magron
Jurij Volčič
Jie Wang
|
|
+
PDF
Chat
|
Exploiting Term Sparsity in Moment-SOS Hierarchy for Dynamical Systems
|
2023
|
Jie Wang
Corbinian Schlosser
Milan Korda
Victor Magron
|
|
+
PDF
Chat
|
Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks
|
2023
|
Milan Korda
Monique Laurent
Victor Magron
Andries Steenkamp
|
|
+
PDF
Chat
|
Pourchet’s theorem in action: decomposing univariate nonnegative polynomials as sums of five squares
|
2023
|
Przemysław Koprowski
Victor Magron
Tristan Vaccon
|
|
+
|
Exploiting sparsity in polynomial optimization
|
2023
|
Victor Magron
|
|
+
PDF
Chat
|
Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients
|
2023
|
Victor Magron
Mohab Safey El Din
Vu Trung Hieu
|
|
+
PDF
Chat
|
Revisiting Semidefinite Programming Approaches to Options Pricing: Complexity and Computational Perspectives
|
2023
|
Didier Henrion
Felix Kirschner
Etienne de Klerk
Milan Korda
Jean B. Lasserre
Victor Magron
|
|
+
|
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares
|
2023
|
Victor Magron
Przemysław Koprowski
Tristan Vaccon
|
|
+
PDF
Chat
|
Sums of Squares Representations on Singular Loci
|
2023
|
Ngoc Hoang Anh
Victor Magron
|
|
+
|
Minimal Sparsity for Second-Order Moment-SOS Relaxations of the AC-OPF Problem
|
2023
|
Adrien Le Franc
Victor Magron
Jean B. Lasserre
Manuel Ruíz
Patrick Panciatici
|
|
+
|
Sums of squares certificates for polynomial moment inequalities
|
2023
|
Igor Klep
Victor Magron
Jurij Volčič
|
|
+
|
Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations
|
2023
|
Nicolas Augier
Didier Henrion
Milan Korda
Victor Magron
|
|
+
|
A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients
|
2023
|
Jie Wang
Victor Magron
|
|
+
|
Certifying ground-state properties of many-body systems
|
2023
|
Jie Wang
Jacopo Surace
Irénée Frérot
Benoît Legat
Marc-Olivier Renou
Victor Magron
Antonio Acín
|
|
+
|
Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification
|
2023
|
Yoshio Ebihara
Xin Dai
Victor Magron
Dimitri Peaucelle
Sophie Tarbouriech
|
|
+
|
Noncommutative Polynomial Optimization
|
2022
|
Abhishek Bhardwaj
Igor Klep
Victor Magron
|
|
+
PDF
Chat
|
CS-TSSOS: Correlative and Term Sparsity for Large-Scale Polynomial Optimization
|
2022
|
Jie Wang
Victor Magron
Jean B. Lasserre
Ngoc Hoang Anh
|
|
+
PDF
Chat
|
Noncommutative Christoffel-Darboux Kernels
|
2022
|
Serban Belinschi
Victor Magron
Victor Vinnikov
|
|
+
PDF
Chat
|
Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant
|
2022
|
Ngoc Hoang Anh
Victor Magron
Jean B. Lasserre
Kim-Chuan Toh
|
|
+
PDF
Chat
|
Dimension-Free Entanglement Detection in Multipartite Werner States
|
2022
|
Felix Huber
Igor Klep
Victor Magron
Jurij Volčič
|
|
+
PDF
Chat
|
Exploiting Constant Trace Property in Large-scale Polynomial Optimization
|
2022
|
Ngoc Hoang Anh
Jean B. Lasserre
Victor Magron
Jie Wang
|
|
+
PDF
Chat
|
Certifying global optimality of AC-OPF solutions via sparse polynomial optimization
|
2022
|
Jie Wang
Victor Magron
Jean B. Lasserre
|
|
+
PDF
Chat
|
SONC optimization and exact nonnegativity certificates via second-order cone programming
|
2022
|
Victor Magron
Jie Wang
|
|
+
PDF
Chat
|
L<sub>2+</sub> Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming
|
2022
|
Yoshio Ebihara
Hayato Motooka
Hayato Waki
Noboru Sebe
Victor Magron
Dimitri Peaucelle
Sophie Tarbouriech
|
|
+
PDF
Chat
|
Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients
|
2022
|
Victor Magron
Mohab Safey El Din
Markus Schweighofer
Vu Trung Hieu
|
|
+
PDF
Chat
|
A Sparse Version of Reznick’s Positivstellensatz
|
2022
|
Ngoc Hoang Anh
Victor Magron
Jean B. Lasserre
|
|
+
|
Sparse Polynomial Optimization
|
2022
|
Victor Magron
Jie Wang
|
|
+
PDF
Chat
|
On the complexity of Putinar–Vasilescu's Positivstellensatz
|
2022
|
Ngoc Hoang Anh
Victor Magron
|
|
+
|
Conic programming for certified polynomial optimization
|
2022
|
Victor Magron
|
|
+
PDF
Chat
|
Noncommutative Christoffel-Darboux kernels
|
2022
|
Serban T. Belinschi
Victor Magron
Victor Vinnikov
|
|
+
|
Certifying Global Optimality of Ac-Opf Solutions Via the Cs-Tssos Hierarchy
|
2022
|
Jie Wang
Victor Magron
Jean B. Lasserre
|
|
+
|
Exact SOHS decompositions of trigonometric univariate polynomials with Gaussian coefficients
|
2022
|
Victor Magron
Mohab Safey El Din
Markus Schweighofer
Trung Hieu Vu
|
|
+
|
Urysohn in action: separating semialgebraic sets by polynomials
|
2022
|
Milan Korda
Jean B. Lasserre
Alexey Lazarev
Victor Magron
Simone Naldi
|
|
+
PDF
Chat
|
Stability of Linear Systems Under Extended Weakly-Hard Constraints
|
2022
|
Nils Vreman
P Pazzaglia
Victor Magron
Jie Wang
Martina Maggio
|
|
+
|
Sparse Polynomial Optimization: Theory and Practice
|
2022
|
Victor Magron
Jie Wang
|
|
+
|
Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks
|
2022
|
Milan Korda
Monique Laurent
Victor Magron
Andries Steenkamp
|
|
+
|
Time-dependent moments from partial differential equations and the time-dependent set of atoms
|
2022
|
Raúl E. Curto
Philipp J. di Dio
Milan Korda
Victor Magron
|
|
+
|
Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant
|
2022
|
Ngoc Hoang Anh Mai
Victor Magron
Jean B. Lasserre
Kim-Chuan Toh
|
|
+
PDF
Chat
|
Exploiting Sparsity in Complex Polynomial Optimization
|
2021
|
Jie Wang
Victor Magron
|
|
+
PDF
Chat
|
A sublevel moment-SOS hierarchy for polynomial optimization
|
2021
|
Tong Chen
Jean B. Lasserre
Victor Magron
Edouard Pauwels
|
|
+
PDF
Chat
|
Revisiting semidefinite programming approaches to options pricing:
complexity and computational perspectives
|
2021
|
Didier Henrion
Felix Kirschner
Etienne de Klerk
Milan Korda
Jean B. Lasserre
Victor Magron
|
|
+
PDF
Chat
|
Optimization Over Trace Polynomials
|
2021
|
Igor Klep
Victor Magron
Jurij Volčič
|
|
+
PDF
Chat
|
Exploiting term sparsity in noncommutative polynomial optimization
|
2021
|
Jie Wang
Victor Magron
|
|
+
PDF
Chat
|
The Constant Trace Property in Noncommutative Optimization
|
2021
|
Ngoc Hoang Anh
Abhishek Bhardwaj
Victor Magron
|
|
+
PDF
Chat
|
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:msub><mml:mi>l</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math> induced norm analysis of discrete-time LTI systems for nonnegative input signals and its application to stability analysis of recurrent neural networks
|
2021
|
Yoshio Ebihara
Hayato Waki
Victor Magron
Ngoc Hoang Anh
Dimitri Peaucelle
Sophie Tarbouriech
|
|
+
PDF
Chat
|
Noncommutative Christoffel-Darboux Kernels
|
2021
|
Serban T. Belinschi
Victor Magron
Victor Vinnikov
|
|
+
PDF
Chat
|
The quest of modeling, certification and efficiency in polynomial optimization
|
2021
|
Victor Magron
|
|
+
PDF
Chat
|
SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions
|
2021
|
Jie Wang
Martina Maggio
Victor Magron
|
|
+
|
On the complexity of Putinar-Vasilescu's Positivstellensatz
|
2021
|
Ngoc Hoang Anh
Victor Magron
|
|
+
PDF
Chat
|
On exact Reznick, Hilbert-Artin and Putinar's representations
|
2021
|
Victor Magron
Mohab Safey El Din
|
|
+
PDF
Chat
|
Positivity certificates and polynomial optimization on non-compact semialgebraic sets
|
2021
|
Ngoc Hoang Anh
Jean B. Lasserre
Victor Magron
|
|
+
|
The Constant Trace Property in Noncommutative Optimization
|
2021
|
Ngoc Hoang Anh
Abhishek Bhardwaj
Victor Magron
|
|
+
|
Stability of Control Systems under Extended Weakly-Hard Constraints
|
2021
|
Nils Vreman
P Pazzaglia
Jie Wang
Victor Magron
Martina Maggio
|
|
+
PDF
Chat
|
Sparse noncommutative polynomial optimization
|
2021
|
Igor Klep
Victor Magron
Janez Povh
|
|
+
|
A Sublevel Moment-SOS Hierarchy for Polynomial Optimization
|
2021
|
Tong Chen
Jean B. Lasserre
Victor Magron
Edouard Pauwels
|
|
+
PDF
Chat
|
TSSOS: A Moment-SOS Hierarchy That Exploits Term Sparsity
|
2021
|
Jie Wang
Victor Magron
Jean B. Lasserre
|
|
+
PDF
Chat
|
Chordal-TSSOS: A Moment-SOS Hierarchy That Exploits Term Sparsity with Chordal Extension
|
2021
|
Jie Wang
Victor Magron
Jean B. Lasserre
|
|
+
|
TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization
|
2021
|
Victor Magron
Jie Wang
|
|
+
|
Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification
|
2021
|
Tong Chen
Jean B. Lasserre
Victor Magron
Edouard Pauwels
|
|
+
PDF
Chat
|
Minimizing Rational Functions: A Hierarchy of Approximations via Pushforward Measures
|
2021
|
Jean B. Lasserre
Victor Magron
Swann Marx
Olivier Zahm
|
|
+
|
Certifying Global Optimality of AC-OPF Solutions via sparse polynomial optimization
|
2021
|
Jie Wang
Victor Magron
Jean B. Lasserre
|
|
+
|
Noncommutative Christoffel-Darboux Kernels
|
2021
|
Serban Belinschi
Victor Magron
Victor Vinnikov
|
|
+
|
On the complexity of Putinar-Vasilescu's Positivstellensatz
|
2021
|
Ngoc Hoang Anh Mai
Victor Magron
|
|
+
|
The Constant Trace Property in Noncommutative Optimization
|
2021
|
Ngoc Hoang Anh Mai
Abhishek Bhardwaj
Victor Magron
|
|
+
|
Stability of Linear Systems under Extended Weakly-Hard Constraints
|
2021
|
Nils Vreman
P Pazzaglia
Jie Wang
Victor Magron
Martina Maggio
|
|
+
|
Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients
|
2021
|
Victor Magron
Mohab Safey El Din
Trung-Hieu Vu
|
|
+
|
Noncommutative Polynomial Optimization
|
2021
|
Abhishek Bhardwaj
Igor Klep
Victor Magron
|
|
+
|
Minimizing rational functions: a hierarchy of approximations via pushforward measures.
|
2020
|
Jean B. Lasserre
Victor Magron
Swann Marx
Olivier Zahm
|
|
+
PDF
Chat
|
A second order cone characterization for sums of nonnegative circuits
|
2020
|
Jie Wang
Victor Magron
|
|
+
PDF
Chat
|
Optimization over trace polynomials
|
2020
|
Igor Klep
Victor Magron
Jurij Volčič
|
|
+
PDF
Chat
|
Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis
|
2020
|
Grigory Devadze
Victor Magron
Stefan Streif
|
|
+
|
Polynomial Optimization for Bounding Lipschitz Constants of Deep Networks
|
2020
|
Tong Chen
Jean B. Lasserre
Victor Magron
Edouard Pauwels
|
|
+
|
Computing the Hausdorff boundary measure of semi-algebraic sets
|
2020
|
Jean B. Lasserre
Victor Magron
|
|
+
|
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks
|
2020
|
Tong Chen
Jean B. Lasserre
Victor Magron
Edouard Pauwels
|
|
+
|
SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions
|
2020
|
Jie Wang
Martina Maggio
Victor Magron
|
|
+
PDF
Chat
|
Computing the Hausdorff Boundary Measure of Semialgebraic Sets
|
2020
|
Jean B. Lasserre
Victor Magron
|
|
+
|
Exploiting term sparsity in Noncommutative Polynomial Optimization
|
2020
|
Jie Wang
Victor Magron
|
|
+
|
$l_2$ Induced Norm Analysis of Discrete-Time LTI Systems for Nonnegative Input Signals and Its Application to Stability Analysis of Recurrent Neural Networks
|
2020
|
Yoshio Ebihara
Hayato Waki
Victor Magron
Ngoc Hoang Anh
Dimitri Peaucelle
Sophie Tarbouriech
|
|
+
|
SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
|
2020
|
Victor Magron
Jie Wang
|
|
+
|
Minimizing rational functions: a hierarchy of approximations via pushforward measures
|
2020
|
Jean B. Lasserre
Victor Magron
Swann Marx
Olivier Zahm
|
|
+
|
A sparse version of Reznick's Positivstellensatz
|
2020
|
Ngoc Hoang Anh Mai
Victor Magron
Jean B. Lasserre
|
|
+
|
Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis
|
2020
|
Grigory Devadze
Victor Magron
Stefan Streif
|
|
+
|
A hierarchy of spectral relaxations for polynomial optimization
|
2020
|
Ngoc Hoang Anh Mai
Victor Magron
Jean B. Lasserre
|
|
+
|
Correlations constrained by composite measurements
|
2020
|
John H. Selby
Ana Belén Sainz
Victor Magron
Łukasz Czekaj
Michał Horodecki
|
|
+
|
Sparse Noncommutative Polynomial Optimization
|
2019
|
Igor Klep
Victor Magron
Janez Povh
|
|
+
PDF
Chat
|
Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials
|
2019
|
Victor Magron
Henning Seidler
Timo de Wolff
|
|
+
|
Exact Optimization via Sums of Nonnegative Circuits and Sums of AM/GM Exponentials
|
2019
|
Victor Magron
Henning Seidler
Timo de Wolff
|
|
+
PDF
Chat
|
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
|
2019
|
Victor Magron
Pierre-Loïc Garoche
Didier Henrion
Xavier Thirioux
|
|
+
PDF
Chat
|
In SDP Relaxations, Inaccurate Solvers Do Robust Optimization
|
2019
|
Jean B. Lasserre
Victor Magron
|
|
+
|
TSSOS: A Moment-SOS hierarchy that exploits term sparsity
|
2019
|
Jie Wang
Victor Magron
Jean B. Lasserre
|
|
+
|
A second order cone characterization for sums of nonnegative circuits
|
2019
|
Jie Wang
Victor Magron
|
|
+
|
Sparse Noncommutative Polynomial Optimization
|
2019
|
Igor Klep
Victor Magron
Janez Povh
|
|
+
|
Positivity certificates and polynomial optimization on non-compact semialgebraic sets
|
2019
|
Ngoc Hoang Anh Mai
Jean B. Lasserre
Victor Magron
|
|
+
|
On Exact Polya, Hilbert-Artin and Putinar's Representations.
|
2018
|
Victor Magron
Mohab Safey El Din
|
|
+
|
In SDP relaxations, inaccurate solvers do robust optimization
|
2018
|
Jean B. Lasserre
Victor Magron
|
|
+
|
Optimal control of linear PDEs using occupation measures and SDP relaxations
|
2018
|
Victor Magron
Christophe Prieur
|
|
+
|
R <scp>eal</scp> c <scp>ertify</scp>
|
2018
|
Victor Magron
Mohab Safey El Din
|
|
+
PDF
Chat
|
On Exact Polya and Putinar's Representations
|
2018
|
Victor Magron
Mohab Safey El Din
|
|
+
|
Semidefinite Approximations of Invariant Measures for Polynomial Systems
|
2018
|
Victor Magron
Marcelo Forets
Didier Henrion
|
|
+
|
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations
|
2018
|
Alexandre Rocca
Victor Magron
Thao Dang
|
|
+
PDF
Chat
|
Interval Enclosures of Upper Bounds of Roundoff Errors Using Semidefinite Programming
|
2018
|
Victor Magron
|
|
+
|
RealCertify: a Maple package for certifying non-negativity
|
2018
|
Victor Magron
Mohab Safey El Din
|
|
+
|
Optimal data fitting: a moment approach.
|
2018
|
Jean B. Lasserre
Victor Magron
|
|
+
|
Occupation measure methods for modelling and analysis of biological hybrid systems
|
2018
|
Alexandre Rocca
Marcelo Forets
Victor Magron
Éric Fanchon
Thao Dang
|
|
+
PDF
Chat
|
Optimal Data Fitting: A Moment Approach
|
2018
|
Jean B. Lasserre
Victor Magron
|
|
+
|
In SDP relaxations, inaccurate solvers do robust optimization
|
2018
|
Jean B. Lasserre
Victor Magron
|
|
+
|
Semidefinite Approximations of Invariant Measures for Polynomial Systems
|
2018
|
Victor Magron
Marcelo Forets
Didier Henrion
|
|
+
|
RealCertify: a Maple package for certifying non-negativity
|
2018
|
Victor Magron
Mohab Safey El Din
|
|
+
|
Optimal data fitting: a moment approach
|
2018
|
Jean B. Lasserre
Victor Magron
|
|
+
|
On Exact Polya and Putinar's Representations
|
2018
|
Victor Magron
Mohab Safey El Din
|
|
+
|
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
|
2018
|
Victor Magron
Alexandre Rocca
Thao Dang
|
|
+
|
PhD: Certified roundoff error bounds for programs with loops using polynomial optimization
|
2017
|
Victor Magron
|
|
+
|
Optimal Control of PDEs using Occupation Measures and SDP Relaxations
|
2017
|
Victor Magron
Christophe Prieur
|
|
+
|
Occupation measure methods for modelling and analysis of biological hybrid automata.
|
2017
|
Alexandre Rocca
Marcelo Forets
Victor Magron
Éric Fanchon
Thao Dang
|
|
+
PDF
Chat
|
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations
|
2017
|
Alexandre Rocca
Victor Magron
Thao Dang
|
|
+
PDF
Chat
|
A Sums-of-Squares extension of policy iterations
|
2017
|
Assalé Adjé
Pierre-Loïc Garoche
Victor Magron
|
|
+
|
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
|
2017
|
Victor Magron
Pierre-Loïc Garoche
Didier Henrion
Xavier Thirioux
|
|
+
PDF
Chat
|
A Certified Lower Bounds of Roundoff Errors using Semidefinite Programming
|
2017
|
Victor Magron
Mountassir Farid
|
|
+
PDF
Chat
|
Certified Roundoff Error Bounds Using Semidefinite Programming
|
2017
|
Victor Magron
George A. Constantinides
Alastair F. Donaldson
|
|
+
PDF
Chat
|
A FORMAL PROOF OF THE KEPLER CONJECTURE
|
2017
|
Thomas Hales
Mark Adams
Gertrud Bauer
TAT DAT DANG
John Harrison
Hoang Le Truong
Cezary Kaliszyk
Victor Magron
Sean McLaughlin
TAT THANG NGUYEN
|
|
+
|
Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials
|
2017
|
Victor Magron
Mohab Safey El Din
Markus Schweighofer
|
|
+
|
Semidefinite approximations of invariant measures for polynomial systems
|
2017
|
Victor Magron
Marcelo Forets
Didier Henrion
|
|
+
|
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
|
2017
|
Victor Magron
Pierre-Loïc Garoche
Didier Henrion
Xavier Thirioux
|
|
+
|
Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming
|
2016
|
Victor Magron
|
|
+
|
Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming
|
2016
|
Victor Magron
|
|
+
|
Property-based Polynomial Invariant Generation Using Sums-Of-Squares
|
2015
|
Assalé Adjé
Pierre-Loïc Garoche
Victor Magron
|
|
+
|
Certified Roundoff Error Bounds Using Semidefinite Programming
|
2015
|
Victor Magron
George A. Constantinides
Alastair F. Donaldson
|
|
+
|
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
|
2015
|
Assalé Adjé
Pierre-Loïc Garoche
Victor Magron
|
|
+
PDF
Chat
|
Formal Proofs for Nonlinear Optimization
|
2015
|
Victor Magron
Xavier Allamigeon
Stéphane Gaubert
Benjamin Werner
|
|
+
|
A formal proof of the Kepler conjecture
|
2015
|
Thomas Hales
Mark Adams
Gertrud Bauer
Dat Tat Dang
John Harrison
Hoang Le Truong
Cezary Kaliszyk
Victor Magron
Sean McLaughlin
Thang Tat Nguyen
|
|
+
PDF
Chat
|
Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization
|
2015
|
Assalé Adjé
Pierre-Loïc Garoche
Victor Magron
|
|
+
PDF
Chat
|
Semidefinite Approximations of Projections and Polynomial Images of SemiAlgebraic Sets
|
2015
|
Victor Magron
Didier Henrion
Jean B. Lasserre
|
|
+
|
A formal proof of the Kepler conjecture
|
2015
|
Thomas Hales
Mark Raymond Adams
Gertrud Bauer
Dat Tat Dang
John Harrison
Hoang Le Truong
Cezary Kaliszyk
Victor Magron
S. McLaughlin
Thang Tat Nguyen
|
|
+
|
Certified Roundoff Error Bounds Using Semidefinite Programming
|
2015
|
Victor Magron
George M. Constantinides
Alastair F. Donaldson
|
|
+
|
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
|
2015
|
Assalé Adjé
Pierre-Loïc Garoche
Victor Magron
|
|
+
PDF
Chat
|
Semidefinite approximations of projections and polynomial images of semialgebraic sets
|
2015
|
Victor Magron
Didier Henrion
Jean B. Lasserre
|
|
+
PDF
Chat
|
Certification of real inequalities: templates and sums of squares
|
2014
|
Victor Magron
Xavier Allamigeon
Stéphane Gaubert
Benjamin Werner
|
|
+
PDF
Chat
|
Error bounds for polynomial optimization over the hypercube using putinar type representations
|
2014
|
Victor Magron
|
|
+
PDF
Chat
|
Approximating Pareto curves using semidefinite relaxations
|
2014
|
Victor Magron
Didier Henrion
Jean B. Lasserre
|
|
+
|
Error Bounds for Polynomial Optimization over the Hypercube using Putinar type Representations
|
2014
|
Victor Magron
|
|
+
|
Certification of Real Inequalities -- Templates and Sums of Squares
|
2014
|
Xavier Allamigeon
Stéphane Gaubert
Victor Magron
Benjamin Werner
|
|
+
PDF
Chat
|
NLCertify: A Tool for Formal Nonlinear Optimization
|
2014
|
Victor Magron
|
|
+
|
Polynomial Template Generation using Sum-of-Squares Programming
|
2014
|
Assalé Adjé
Victor Magron
|
|
+
|
Formal Proofs for Nonlinear Optimization
|
2014
|
Victor Magron
Xavier Allamigeon
Stéphane Gaubert
Benjamin Werner
|
|
+
|
Certification of Real Inequalities -- Templates and Sums of Squares
|
2014
|
Xavier Allamigeon
Stéphane Gaubert
Victor Magron
Benjamin Werner
|
|
+
|
Error Bounds for Polynomial Optimization over the Hypercube using Putinar type Representations
|
2014
|
Victor Magron
|
|
+
|
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
|
2014
|
Assalé Adjé
Pierre-Loïc Garoche
Victor Magron
|
|
+
|
Formal Proofs for Global Optimization -- Templates and Sums of Squares
|
2013
|
Victor Magron
|
|
+
PDF
Chat
|
Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation
|
2013
|
Xavier Allamigeon
Stéphane Gaubert
Victor Magron
Benjamin Werner
|
|
+
PDF
Chat
|
Certification of Bounds of Non-linear Functions: The Templates Method
|
2013
|
Xavier Allamigeon
Stéphane Gaubert
Victor Magron
Benjamin Werner
|
|
+
|
Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation
|
2013
|
Xavier Allamigeon
Stéphane Gaubert
Victor Magron
Benjamin Werner
|