Victor Magron

1. TSSOS: A Moment-SOS hierarchy that exploits term sparsity
   2019/12/18 by Jie Wang, Wang, Jie, Victor Magron +3 · 9 citations
   Computer Science · Engineering · Mathematics · #Advanced Optimization Algorithms Research #Complexity and Algorithms in Graphs #FOS: Mathematics #Optimization and Control (math.OC) #Sparse and Compressive Sensing Techniques
2. CS-TSSOS: Correlative and Term Sparsity for Large-Scale Polynomial Optimization
   2022/10/26 by Jie Wang, Victor Magron, J. B. Lasserre +3 · 6 citations
   Computer Science · Engineering · Mathematics · #Advanced Optimization Algorithms Research #Complexity and Algorithms in Graphs #VLSI and FPGA Design Techniques
3. Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials
   2017/06/13 by Victor Magron, Magron, Victor, Mohab Safey El Din +3 · 3 citations
   Computer Science · Mathematics · #Advanced Optimization Algorithms Research #FOS: Computer and information sciences #Iterative Methods for Nonlinear Equations #Polynomial and algebraic computation #Symbolic Computation (cs.SC)
4. Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares
   2023/02/04 by Victor Magron, Magron, Victor, Przemysław Koprowski +3 · 4 citations
   Computer Science · Mathematics · #Advanced Combinatorial Mathematics #Commutative Algebra and Its Applications #FOS: Computer and information sciences #Polynomial and algebraic computation #Symbolic Computation (cs.SC)
5. Certified Roundoff Error Bounds Using Semidefinite Programming
   2017/01/02 by Victor Magron, George Constantinides, Alastair Donaldson · 2 citations
6. TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization
   2021/03/01 by Victor Magron, Jie Wang, Magron, Victor +1 · 4 citations
   Computer Science · Mathematics · #Numerical Methods and Algorithms #Advanced Optimization Algorithms Research #Polynomial and algebraic computation
7. Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification
   2021/06/02 by Tong Chen, Jean B. Lasserre, Chen, Tong +5 · 2 citations
   Computer Science · Decision Sciences · Mathematics · #Adversarial Robustness in Machine Learning #Probabilistic and Robust Engineering Design #Markov Chains and Monte Carlo Methods
8. Semidefinite Approximations of Reachable Sets for Discrete-time\n Polynomial Systems
   2017/03/15 by Victor Magron, Magron, Victor, Pierre-Loïc Garoche +5 · 2 citations
   Mathematics · Computer Science · #Advanced Optimization Algorithms Research #Polynomial and algebraic computation #Numerical Methods and Algorithms
9. Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks
   2022/09/20 by Milan Korda, Korda, Milan, Monique Laurent +5 · 2 citations
   Computer Science · Chemistry · Mathematics · #Matrix Theory and Algorithms #Metal-Organic Frameworks: Synthesis and Applications #Advanced Optimization Algorithms Research
10. Formal Proofs for Nonlinear Optimization
    2014/04/29 by Victor Magron, Magron, Victor, Xavier Allamigeon +5 · 2 citations
    Mathematics · Computer Science · #Advanced Optimization Algorithms Research #Polynomial and algebraic computation #Numerical Methods and Algorithms
11. l₂ Induced Norm Analysis of Discrete-Time LTI Systems for Nonnegative Input Signals and Its Application to Stability Analysis of Recurrent Neural Networks
    2020/11/25 by Yoshio Ebihara, Ebihara, Yoshio, Hayato Waki +9 · 1 citation
    Engineering · Physics and Astronomy · #Control Systems and Identification #FOS: Mathematics #Model Reduction and Neural Networks #Optimization and Control (math.OC) #Stability and Control of Uncertain Systems
12. Minimizing rational functions: a hierarchy of approximations via\n pushforward measures
    2020/12/10 by Jean B. Lasserre, Lasserre, Jean Bernard, Victor Magron +5 · 1 citation
    Computer Science · Engineering · Mathematics · #Advanced Control Systems Optimization #Advanced Optimization Algorithms Research #FOS: Mathematics #Numerical Methods and Algorithms #Optimization and Control (math.OC)
13. Exact SOHS decompositions of trigonometric univariate polynomials with Gaussian coefficients
    2022/02/14 by Victor Magron, Magron, Victor, Mohab Safey El Din +5 · 1 citation
    Computer Science · Mathematics · #Digital Filter Design and Implementation #FOS: Computer and information sciences #FOS: Mathematics #Mathematical Analysis and Transform Methods #Numerical Methods and Algorithms #Optimization and Control (math.OC) #Symbolic Computation (cs.SC)
14. Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming
    2016/11/04 by Victor Magron, Magron, Victor · 1 citation
    Computer Science · Engineering · Mathematics · #Numerical Methods and Algorithms #Low-power high-performance VLSI design #Advanced Optimization Algorithms Research
15. Induced Norm Analysis of Linear Systems for Nonnegative Input Signals
    2024/02/02 by Yoshio Ebihara, Ebihara, Yoshio, Noboru Sebe +11 · 1 citation
    Engineering · #FOS: Mathematics #Optimization and Control (math.OC)