vix.ing · top · new · best · stats · spec

Magron, Victor

  1. A formal proof of the Kepler conjecture
    2015/01/09 by Hales, Thomas, Adams, Mark, Bauer, Gertrud +19 · 14 citations
    #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Metric Geometry (math.MG)
  2. TSSOS: A Moment-SOS hierarchy that exploits term sparsity
    2019/12/18 by Jie Wang, Victor Magron, Wang, Jie +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
  3. CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization
    2020/05/06 by Jie Wang, Wang, Jie, Victor Magron +7 · 8 citations
    Computer Science · Engineering · Mathematics · #FOS: Computer and information sciences #FOS: Mathematics #Mathematical Software (cs.MS) #Optimization and Control (math.OC)
  4. 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)
  5. Certified Roundoff Error Bounds Using Semidefinite Programming
    2015/07/13 by Magron, Victor, Constantinides, George, Donaldson, Alastair · 3 citations
    #FOS: Mathematics #Numerical Analysis (math.NA)
  6. On Exact Reznick, Hilbert-Artin and Putinar's Representations
    2018/11/25 by Magron, Victor, Din, Mohab Safey El · 3 citations
    #FOS: Computer and information sciences #Symbolic Computation (cs.SC)
  7. Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares
    2023/02/04 by Victor Magron, Przemysław Koprowski, Magron, Victor +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)
  8. 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
  9. Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients
    2021/07/25 by Magron, Victor, Din, Mohab Safey El, Vu, Trung-Hieu · 3 citations
    #FOS: Computer and information sciences #FOS: Mathematics #Optimization and Control (math.OC) #Symbolic Computation (cs.SC)
  10. 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
  11. Noncommutative Christoffel-Darboux Kernels
    2021/06/11 by Serban T. Belinschi, Victor Magron, Belinschi, Serban T. +3 · 2 citations
    Mathematics · #Advanced Mathematical Physics Problems #Advanced Operator Algebra Research #Complex Variables (math.CV) #FOS: Mathematics #Holomorphic and Operator Theory #Operator Algebras (math.OA) #Optimization and Control (math.OC) #Spectral Theory in Mathematical Physics
  12. Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks
    2022/09/20 by Milan Korda, Monique Laurent, Korda, Milan +5 · 3 citations
    Computer Science · Chemistry · Mathematics · #Matrix Theory and Algorithms #Metal-Organic Frameworks: Synthesis and Applications #Advanced Optimization Algorithms Research
  13. Certifying Global Optimality of AC-OPF Solutions via sparse polynomial optimization
    2021/09/21 by Wang, Jie, Magron, Victor, Lasserre, Jean B. · 2 citations
    #12D15 #14P10 #90C22 #90C23 #90C26 #FOS: Mathematics #Optimization and Control (math.OC)
  14. Formal Proofs for Nonlinear Optimization
    2014/04/29 by Victor Magron, Xavier Allamigeon, Magron, Victor +5 · 4 citations
    Mathematics · Computer Science · #Advanced Optimization Algorithms Research #Polynomial and algebraic computation #Numerical Methods and Algorithms
  15. RealCertify: a Maple package for certifying non-negativity
    2018/05/06 by Magron, Victor, Din, Mohab Safey El · 2 citations
    #FOS: Computer and information sciences #Mathematical Software (cs.MS) #Symbolic Computation (cs.SC)
  16. Semidefinite Approximations of Reachable Sets for Discrete-time\n Polynomial Systems
    2017/03/15 by Victor Magron, Pierre-Loïc Garoche, Magron, Victor +5 · 2 citations
    Mathematics · Computer Science · #Advanced Optimization Algorithms Research #Polynomial and algebraic computation #Numerical Methods and Algorithms
  17. Minimal Sparsity for Second-Order Moment-SOS Relaxations of the AC-OPF Problem
    2023/05/30 by Franc, Adrien Le, Magron, Victor, Lasserre, Jean-Bernard +2 · 2 citations
    #FOS: Mathematics #Optimization and Control (math.OC)
  18. Semidefinite approximations of projections and polynomial images of semialgebraic sets
    2015/07/22 by Magron, Victor, Henrion, Didier, Lasserre, Jean-Bernard · 1 citation
    #FOS: Mathematics #Optimization and Control (math.OC)
  19. Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations
    2023/07/07 by Augier, Nicolas, Henrion, Didier, Korda, Milan +1 · 2 citations
    #28A99 #49M20 #90C22 #93C10 #FOS: Mathematics #Optimization and Control (math.OC)
  20. Slow convergence of the moment-SOS hierarchy for an elementary polynomial optimization problem
    2024/03/13 by Henrion, Didier, Franc, Adrien Le, Magron, Victor · 3 citations
    #FOS: Mathematics #Optimization and Control (math.OC)
  21. Positivity certificates and polynomial optimization on non-compact semialgebraic sets
    2019/11/26 by Ngoc Hoang Anh, Jean B. Lasserre, Mai, Ngoc Hoang Anh +4 · 1 citation
    Computer Science · Mathematics · #Advanced Optimization Algorithms Research #FOS: Mathematics #Matrix Theory and Algorithms #Optimization and Control (math.OC) #Polynomial and algebraic computation
  22. SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions
    2020/08/26 by Jie Wang, Wang, Jie, Martina Maggio +3 · 1 citation
    Computer Science · Engineering · #FOS: Mathematics #Matrix Theory and Algorithms #Optimization and Control (math.OC) #Sparse and Compressive Sensing Techniques #Stability and Control of Uncertain Systems
  23. A hierarchy of spectral relaxations for polynomial optimization
    2020/07/17 by Mai, Ngoc Hoang Anh, Magron, Victor, Lasserre, Jean-Bernard · 1 citation
    #FOS: Mathematics #Optimization and Control (math.OC)
  24. l2 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
  25. Minimizing rational functions: a hierarchy of approximations via\n pushforward measures
    2020/12/10 by Jean B. Lasserre, Victor Magron, Lasserre, Jean Bernard +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)
  26. Exploiting constant trace property in large-scale polynomial optimization
    2020/12/16 by Mai, Ngoc Hoang Anh, Lasserre, Jean-Bernard, Magron, Victor +1 · 1 citation
    #FOS: Mathematics #Optimization and Control (math.OC)
  27. Stability of Linear Systems under Extended Weakly-Hard Constraints
    2021/01/27 by Vreman, Nils, Pazzaglia, Paolo, Wang, Jie +2 · 1 citation
    #FOS: Mathematics #Optimization and Control (math.OC)
  28. Exploiting Sparsity in Complex Polynomial Optimization
    2021/03/23 by Wang, Jie, Magron, Victor · 1 citation
    #12D15 #14P10 #90C22 #90C23 #90C26 #FOS: Mathematics #Optimization and Control (math.OC)
  29. Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
    2015/03/24 by Adjé, Assalé, Garoche, Pierre-Loïc, Magron, Victor · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  30. Exact SOHS decompositions of trigonometric univariate polynomials with Gaussian coefficients
    2022/02/14 by Victor Magron, Mohab Safey El Din, Magron, Victor +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)
  31. 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
  32. A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients
    2023/08/28 by Wang, Jie, Magron, Victor · 2 citations
    #FOS: Mathematics #Optimization and Control (math.OC)
  33. Upper bound hierarchies for noncommutative polynomial optimization
    2024/02/03 by Klep, Igor, Magron, Victor, Massé, Gaël +1 · 1 citation
    #90C22 #90C26 #FOS: Mathematics #FOS: Physical sciences #Functional Analysis (math.FA) #Optimization and Control (math.OC) #Quantum Physics (quant-ph)
  34. Induced Norm Analysis of Linear Systems for Nonnegative Input Signals
    2024/02/02 by Yoshio Ebihara, Noboru Sebe, Ebihara, Yoshio +11 · 1 citation
    Engineering · #FOS: Mathematics #Optimization and Control (math.OC)
  35. Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
    2024/05/27 by Yang, Jianting, Ðurašinović, Srećko, Lasserre, Jean-Bernard +2 · 1 citation
    #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Optimization and Control (math.OC)
  36. Convergence rates for sums-of-squares hierarchies with correlative sparsity
    2023/03/26 by Korda, Milan, Magron, Victor, Rios-Zertuche, Rodolfo · 1 citation
    #65K10 (Secondary) #90C23 (Primary) 13P25 #FOS: Mathematics #G.1.6 #Numerical Analysis (math.NA) #Optimization and Control (math.OC)
  37. Sums of squares certificates for polynomial moment inequalities
    2023/06/09 by Igor Klep, Victor Magron, Klep, Igor +3 · 1 citation
    Computer Science · Mathematics · #13J30 #44A60 #46G12 #47L60 #60E15 #81-08 #90C22 #Advanced Optimization Algorithms Research #FOS: Mathematics #FOS: Physical sciences #Formal Methods in Verification #Functional Analysis (math.FA) #Optimization and Control (math.OC) #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)