Publications HAL du projet européen 813211

2023

Journal articles

titre
SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
auteur
Victor Magron, Jie Wang
article
Journal of Symbolic Computation, Elsevier, 2023, 115, pp.346-370. ⟨10.1016/j.jsc.2022.08.002⟩
Accès au bibtex
https://arxiv.org/pdf/2012.07903 BibTex

2022

Journal articles

titre
A certified iterative method for isolated singular roots
auteur
Angelos Mantzaflaris, Bernard Mourrain, Agnes Szanto
article
Journal of Symbolic Computation, Elsevier, 2022, 115, pp.223-247
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03079910/file/paper-ext.pdf BibTex
titre
Gröbner bases and critical values: The asymptotic combinatorics of determinantal systems
auteur
Jérémy Berthomieu, Alin Bostan, Andrew Ferguson, Mohab Safey El Din
article
Journal of Algebra, Elsevier, 2022, 602, pp.154-180. ⟨10.1016/j.jalgebra.2022.03.002⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03214157/file/CombDetv2.pdf BibTex
titre
Guessing Gröbner Bases of Structured Ideals of Relations of Sequences
auteur
Jérémy Berthomieu, Mohab Safey El Din
article
Journal of Symbolic Computation, Elsevier, 2022, 111, pp.1-26. ⟨10.1016/j.jsc.2021.11.001⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02935550/file/structured_recurrences.pdf BibTex
titre
Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator
auteur
Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomas Pajdla
article
IEEE Robotics and Automation Letters, IEEE 2022, 7 (3), pp.6012 - 6019. ⟨10.1109/LRA.2022.3163444⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02905816/file/main.pdf BibTex
titre
On the Nonemptiness and Boundedness of Solution Sets of Weakly Homogeneous Optimization Problems
auteur
Trung-Hieu Vu
article
Set-Valued and Variational Analysis, Springer, 2022, 30 (3), pp.1105-1116. ⟨10.1007/s11228-022-00637-0⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03654665/file/WHOP.pdf BibTex
titre
Polynomial-Division-Based Algorithms for Computing Linear Recurrence Relations
auteur
Jérémy Berthomieu, Jean-Charles Faugère
article
Journal of Symbolic Computation, Elsevier, 2022, 109, pp.1-30. ⟨10.1016/j.jsc.2021.07.002⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01935229/file/main.pdf BibTex
titre
A Sublevel Moment-SOS Hierarchy for Polynomial Optimization
auteur
Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels
article
Computational Optimization and Applications, Springer Verlag, 2022, 81 (1), pp.31-66. ⟨10.1007/s10589-021-00325-z⟩
Accès au bibtex
https://arxiv.org/pdf/2101.05167 BibTex
titre
Exploiting Sparsity in Complex Polynomial Optimization
auteur
Jie Wang, Victor Magron
article
Journal of Optimization Theory and Applications, Springer Verlag, 2022, 192, pp.335-359. ⟨10.1007/s10957-021-01975-z⟩
Accès au bibtex
https://arxiv.org/pdf/2103.12444 BibTex
titre
Solving parametric systems of polynomial equations over the reals through Hermite matrices
auteur
Huu Phuoc Le, Mohab Safey El Din
article
Journal of Symbolic Computation, Elsevier, In press, 112, pp.25-61. ⟨10.1016/j.jsc.2021.12.002⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03029441/file/mainRRC.pdf BibTex
titre
A sparse version of Reznick's Positivstellensatz
auteur
N. H. A. Mai, Victor Magron, Jean-Bernard Lasserre
article
Mathematics of Operations Research, INFORMS, 2022, ⟨10.1287/moor.2022.1284⟩
Accès au bibtex
https://arxiv.org/pdf/2002.05101 BibTex

Conference papers

titre
L 2+ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming
auteur
Yoshio Ebihara, Hayato Waki, Noboru Sebe, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech
article
European Control Conference (ECC 2021), Jul 2022, Londres, United Kingdom. ⟨10.23919/ECC55457.2022.9838085⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03740522/file/YHNVDS-ecc22.pdf BibTex
titre
Algorithms for discrete differential equations of order 1
auteur
Alin Bostan, Frédéric Chyzak, Hadrien Notarantonio, Mohab Safey El Din
article
ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. pp.101-110
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03616406/file/BoChNoSa22-hal-v2.pdf BibTex
titre
Finer Complexity Estimates for the Change of Ordering of Gröbner Bases for Generic Symmetric Determinantal Ideals
auteur
Andrew Ferguson, Huu Phuoc Le
article
International Symposium on Symbolic and Algebraic Computation (ISSAC '22), Jul 2022, Villeneuve-d'Ascq, France. pp.9, ⟨10.1145/3476446.3536182⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03573833/file/symdet.pdf BibTex
titre
Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients
auteur
Victor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu
article
International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2022, Lille, France
Accès au bibtex
https://arxiv.org/pdf/2202.06544 BibTex
titre
Faster change of order algorithm for Gröbner bases under shape and stability assumptions
auteur
Jérémy Berthomieu, Vincent Neiger, Mohab Safey El Din
article
2022 International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. ⟨10.1145/3476446.3535484⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03580736/file/fast-change-of-order.pdf BibTex
titre
Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry
auteur
Damien Chablat, Rémi Prébet, Mohab Safey El Din, Durgesh Salunkhe, Philippe Wenger
article
2022 International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. ⟨10.1145/3476446.3535477⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03596704/file/main.pdf BibTex

Master thesis

titre
The Christoffel function for supervised learning: theory and practice
auteur
Srećko Ðurašinović, Victor Magron, Jean-Bernard Lasserre
article
Machine Learning [stat.ML]. 2022
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03768886/file/The%20CF%20for%20supervised%20learning.pdf BibTex

Preprints, Working Papers, ...

titre
Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks
auteur
Milan Korda, Monique Laurent, Victor Magron, Andries Steenkamp
article
2022
Accès au bibtex
https://arxiv.org/pdf/2209.09573 BibTex
titre
Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant
auteur
Ngoc Hoang Anh Mai, Victor Magron, Jean-Bernard Lasserre, Kim-Chuan Toh
article
2022
Accès au bibtex
https://arxiv.org/pdf/2209.06175 BibTex
titre
Optimization of trigonometric polynomials with crystallographic symmetry and applications
auteur
Evelyne Hubert, Tobias Metzlaff, Philippe Moustrou, Cordian Riener
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03768067/file/trigonometric.pdf BibTex
titre
On the Effective Putinar’s Positivstellensatz and Moment Approximation
auteur
Lorenzo Baldi, Bernard Mourrain
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03437328/file/effective_putinar.pdf BibTex
titre
Sparse Polynomial Optimization: Theory and Practice
auteur
Victor Magron, Jie Wang
article
2022
Accès au bibtex
https://arxiv.org/pdf/2208.11158 BibTex
titre
Urysohn in action: separating semialgebraic sets by polynomials
auteur
Milan Korda, Jean-Bernard Lasserre, Alexey Lazarev, Victor Magron, Simone Naldi
article
2022
Accès au bibtex
https://arxiv.org/pdf/2207.00570 BibTex
titre
On the degree of varieties of sum of squares
auteur
Andrew Ferguson, Giorgio Ottaviani, Mohab Safey El Din, Ettore Turatti
article
2022
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03698213/file/Firenze_Paris.pdf BibTex
titre
Exact Moment Representation in Polynomial Optimization
auteur
Lorenzo Baldi, Bernard Mourrain
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03082531/file/exact_baldi_mourrain.pdf BibTex
titre
Faster algorithms for computing real isolated points of an algebraic hypersurface
auteur
Huu Phuoc Le
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03590187/file/mainiso.pdf BibTex
titre
Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives
auteur
Didier Henrion, Felix Kirschner, Etienne de Klerk, Milan Korda, Jean-Bernard Lasserre, Victor Magron
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03429272/file/options_rev_arxiv_submission.pdf BibTex
titre
Computing the set of asymptotic critical values of polynomial mappings from smooth algebraic sets
auteur
Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
article
2022
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03598352/file/main.pdf BibTex
titre
New efficient algorithms for computing Gröbner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon)
auteur
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
article
2022
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03590430/file/new_saturation.pdf BibTex
titre
Polynomial description for the T-Orbit Spaces of Multiplicative Actions
auteur
Evelyne Hubert, Tobias Metzlaff, Cordian Riener
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03590007/file/Hermite.pdf BibTex
titre
Tractable semidefinite bounds of positive maximal singular values
auteur
Victor Magron, Ngoc Hoang Anh Mai, Yoshio Ebihara, Hayato Waki
article
2022
Accès au bibtex
https://arxiv.org/pdf/2202.08731 BibTex

2021

Journal articles

titre
Converging outer approximations to global attractors using semidefinite programming
auteur
Corbinian Schlosser, Milan Korda
article
Automatica, Elsevier, 2021, 134, pp.109900. ⟨10.1016/j.automatica.2021.109900⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02709820/file/Global_Attractor_arxiv.pdf BibTex
titre
On Exact Reznick, Hilbert-Artin and Putinar's Representations
auteur
Victor Magron, Mohab Safey El Din
article
Journal of Symbolic Computation, Elsevier, 2021, 107, pp.221-250. ⟨10.1016/j.jsc.2021.03.005⟩
Accès au bibtex
https://arxiv.org/pdf/1811.10062 BibTex
titre
Optimization over trace polynomials
auteur
Igor Klep, Victor Magron, Jurij Volčič
article
Annales Henri Poincaré, Springer Verlag, 2021, ⟨10.1007/s00023-021-01095-4⟩
Accès au bibtex
https://arxiv.org/pdf/2006.12510 BibTex
titre
On the solution existence and stability of polynomial optimization problems
auteur
Trung-Hieu Vu
article
Optimization Letters, Springer Verlag, 2021, ⟨10.1007/s11590-021-01788-z⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03002431/file/POP_210714.pdf BibTex
titre
Exploiting term sparsity in Noncommutative Polynomial Optimization
auteur
Jie Wang, Victor Magron
article
Computational Optimization and Applications, Springer Verlag, 2021, 80, pp.483-521. ⟨10.1007/s10589-021-00301-7⟩
Accès au bibtex
https://arxiv.org/pdf/2010.06956 BibTex
titre
Minimizing rational functions: a hierarchy of approximations via pushforward measures
auteur
Jean-Bernard Lasserre, Victor Magron, Swann Marx, Olivier Zahm
article
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2021, 31 (3), pp.2285-2306. ⟨10.1137/20M138541X⟩
Accès au bibtex
https://arxiv.org/pdf/2012.05793 BibTex
titre
Towards fast one-block quantifier elimination through generalised critical values
auteur
Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
article
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), In press, 54 (3), pp.109-113. ⟨10.1145/3457341.3457348⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02929626/file/abstract.pdf BibTex
titre
Chordal-TSSOS: a moment-SOS hierarchy that exploits term sparsity with chordal extension
auteur
Jie Wang, Victor Magron, Jean-Bernard Lasserre
article
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2021, ⟨10.1137/20M1323564⟩
Accès au bibtex
https://arxiv.org/pdf/2003.03210 BibTex
titre
TSSOS: A Moment-SOS hierarchy that exploits term sparsity
auteur
Jie Wang, Victor Magron, Jean-Bernard Lasserre
article
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2021, 31 (1), pp.30--58. ⟨10.1137/19M1307871⟩
Accès au bibtex
https://arxiv.org/pdf/1912.08899 BibTex
titre
Computing real radicals and S-radicals of polynomial systems
auteur
Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi
article
Journal of Symbolic Computation, Elsevier, 2021, 102, pp.259-278. ⟨10.1016/j.jsc.2019.10.018⟩
Accès au bibtex
BibTex
titre
Homotopy techniques for solving sparse column support determinantal polynomial systems
auteur
George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
article
Journal of Complexity, Elsevier, 2021, 66, pp.101557. ⟨10.1016/j.jco.2021.101557⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02927630/file/hal-column-support-main.pdf BibTex

Conference papers

titre
Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers
auteur
Victor Magron, Yoshio Ebihara, Hayato Waki, Ngoc Hoang Anh Mai, Dimitri Peaucelle, Sophie Tarbouriech
article
Control and Decision Conference (CDC) 2021, Dec 2021, Austin, United States
Accès au bibtex
https://arxiv.org/pdf/2202.04592 BibTex
titre
The Constant Trace Property in Noncommutative Optimization
auteur
Ngoc Hoang Anh Mai, Abhishek Bhardwaj, Victor Magron
article
International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersbourg, Russia. ⟨10.1145/3452143.3465516⟩
Accès au bibtex
https://arxiv.org/pdf/2102.02162 BibTex
titre
msolve: A Library for Solving Polynomial Systems
auteur
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
article
2021 International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. pp.51-58, ⟨10.1145/3452143.3465545⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03191666/file/main.pdf BibTex
titre
Computing real radicals by moment optimization
auteur
Lorenzo Baldi, Bernard Mourrain
article
ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia. ⟨10.1145/3452143.3465541⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03145501/file/paper.pdf BibTex
titre
Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations
auteur
Huu Phuoc Le, Mohab Safey El Din
article
International Symposium on Symbolic and Algebraic Computation 2021 (ISSAC '21), Jul 2021, Saint Petersburg, Russia. pp.265-272, ⟨10.1145/3452143.3465546⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03180730/file/main.pdf BibTex
titre
Computing the dimension of real algebraic sets
auteur
Pierre Lairez, Mohab Safey El Din
article
ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia. pp.257-264, ⟨10.1145/3452143.3465551⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03232068/file/real-algebraic-dimension.pdf BibTex
titre
TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization
auteur
Victor Magron, Jie Wang
article
Effective Methods in Algebraic Geometry, Jun 2021, Tromso, Norway
Accès au bibtex
https://arxiv.org/pdf/2103.00915 BibTex
titre
SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions
auteur
Jie Wang, Martina Maggio, Victor Magron
article
2021 American Control Conference (ACC), May 2021, New Orleans, United States. ⟨10.23919/ACC50511.2021.9483347⟩
Accès au bibtex
https://arxiv.org/pdf/2008.11441 BibTex

Preprints, Working Papers, ...

titre
Exploiting Term Sparsity in Moment-SOS hierarchy for Dynamical Systems
auteur
Victor Magron, Jie Wang, Corbinian Schlosser, Milan Korda
article
2021
Accès au bibtex
https://arxiv.org/pdf/2111.08347 BibTex
titre
Noncommutative Christoffel-Darboux Kernels
auteur
Serban Belinschi, Victor Magron, Victor Vinnikov
article
2021
Accès au bibtex
https://arxiv.org/pdf/2106.06212 BibTex
titre
Certifying Global Optimality of AC-OPF Solutions via the CS-TSSOS Hierarchy
auteur
Jie Wang, Victor Magron
article
2021
Accès au bibtex
https://arxiv.org/pdf/2109.10005 BibTex
titre
Noncommutative Polynomial Optimization
auteur
Abhishek Bhardwaj, Igor Klep, Victor Magron
article
2021
Accès au bibtex
https://arxiv.org/pdf/2109.00786 BibTex
titre
Dimension-free entanglement detection in multipartite Werner states
auteur
Felix Huber, Igor Klep, Victor Magron, Jurij Volčič
article
2021
Accès au bibtex
https://arxiv.org/pdf/2108.08720 BibTex
titre
Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients
auteur
Victor Magron, Mohab Safey El Din, Trung-Hieu Vu
article
2021
Accès au bibtex
https://arxiv.org/pdf/2107.11825 BibTex
titre
Noncommutative Christoffel-Darboux Kernels
auteur
Serban T. Belinschi, Victor Magron, Victor Vinnikov
article
2021
Accès au bibtex
https://arxiv.org/pdf/2106.06212 BibTex
titre
Barrier and penalty methods for low-rank semidefinite programming with application to truss topology design
auteur
Soodeh Habibi, Arefeh Kavand, Michal Kocvara, Michael Stingl
article
2021
Accès au bibtex
https://arxiv.org/pdf/2105.08529 BibTex
titre
On the computation of asymptotic critical values of polynomial maps and applications
auteur
Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
article
2021
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-03188279/file/main.pdf BibTex
titre
Finite convergence of sum-of-squares hierarchies for the stability number of a graph
auteur
Monique Laurent, Luis Felipe Vargas Beltran
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03170822/file/Luis.pdf BibTex
titre
CONVERGENCE RATES OF RLT AND LASSERRE-TYPE HIERARCHIES FOR THE GENERALIZED MOMENT PROBLEM OVER THE SIMPLEX AND THE SPHERE
auteur
Felix Kirschner, Etienne de Klerk
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03170812/file/Felix.pdf BibTex
titre
A hierarchy of spectral relaxations for polynomial optimization
auteur
Ngoc Hoang Anh Mai, Victor Magron, Jean-Bernard Lasserre
article
2021
Accès au bibtex
https://arxiv.org/pdf/2007.09027 BibTex
titre
Optimizing hypergraph-based polynomials modeling job-occupancy in queueing with redundancy scheduling
auteur
Monique Laurent, Andries Steenkamp, Daniel Brosch
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03141433/file/Optimizing%20hypergraph-based%20polynomials%20modeling%20job-occupancy%20in%20queueing%20with%20redundancy%20scheduling.pdf BibTex
titre
Stability of Control Systems under Extended Weakly-Hard Constraints
auteur
Nils Vreman, Paolo Pazzaglia, Jie Wang, Victor Magron, Martina Maggio
article
2021
Accès au bibtex
https://arxiv.org/pdf/2101.11312 BibTex

2020

Journal articles

titre
Computing the Hausdorff boundary measure of semi-algebraic sets
auteur
Jean-Bernard Lasserre, Victor Magron
article
SIAM Journal on Applied Algebra and Geometry, Society for Industrial and Applied Mathematics 2020, 4 (3), pp.441-469. ⟨10.1137/20M1314392⟩
Accès au bibtex
https://arxiv.org/pdf/2001.07598 BibTex
titre
Computing controlled invariant sets from data using convex optimization
auteur
Milan Korda
article
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2020, 58 (5), pp.2871-2899. ⟨10.1137/19M1305835⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02398027/file/MCI_data.pdf BibTex
titre
Two remarks on sums of squares with rational coefficients.
auteur
Jose Capco, Claus Scheiderer
article
Banach Center Publications, Institute of Mathematics Polish Academy of Sciences, 2020, 121, pp.25-36. ⟨10.4064/bc121-2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03141517/file/02Scheiderer.pdf BibTex
titre
Cooperativity, absolute interaction, and algebraic optimization
auteur
Nidhi Kaihnsa, Yue Ren, Mohab Safey El Din, Johannes W R Martini
article
Journal of Mathematical Biology, Springer Verlag (Germany), In press, ⟨10.1007/s00285-020-01540-8⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02925505/file/interaction.pdf BibTex
titre
Decomposition of arrow type positive semidefinite matrices with application to topology optimization
auteur
Michal Kočvara
article
Mathematical Programming, Springer Verlag, 2020, ⟨10.1007/s10107-020-01526-w⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03133908/file/Kocvara_MPA_revision2.pdf BibTex

Conference papers

titre
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks
auteur
Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels
article
Conference on Neural Information Processing Systems, Dec 2020, Vancouver, Canada
Accès au bibtex
https://arxiv.org/pdf/2002.03657 BibTex
titre
Robots, computer algebra and eight connected components
auteur
Jose Capco, Mohab Safey El Din, Josef Schicho
article
ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece. pp.62-69, ⟨10.1145/3373207.3404048⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02925478/file/casasc20.pdf BibTex
titre
Punctual Hilbert Schemes and Certified Approximate Singularities
auteur
Angelos Mantzaflaris, Bernard Mourrain, Agnes Szanto
article
ISSAC 2020 - International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. ⟨10.1145/3373207.3404024⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02478768/file/paper.pdf BibTex
titre
Computing the real isolated points of an algebraic hypersurface
auteur
Huu Phuoc Le, Mohab Safey El Din, Timo de Wolff
article
ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece. pp.297-304, ⟨10.1145/3373207.3404049⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02920059/file/arxiv.pdf BibTex
titre
Computation of free non-commutative Gröbner Bases over Z with Singular:Letterplace
auteur
Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid
article
ISSAC 2020 - International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. ⟨10.1145/3373207.3404052⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02496535/file/Computation%20of%20free%20non-commutative%20GB%20with%20LP.pdf BibTex
titre
A second order cone characterization for sums of nonnegative circuits
auteur
Victor Magron, Jie Wang
article
45th International Symposium on Symbolic and Algebraic Computation (ISSAC'20), Jul 2020, Virtual, Greece. pp.450-457, ⟨10.1145/3373207.3404033⟩
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Exploiting constant trace property in large-scale polynomial optimization
auteur
Ngoc Hoang Anh Mai, Jean-Bernard Lasserre, Victor Magron, Jie Wang
article
2020
Accès au bibtex
https://arxiv.org/pdf/2012.08873 BibTex
titre
Computing Free Non-commutative Groebner Bases over Z with Singular:Letterplace
auteur
Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03085431/file/main4arxiv.pdf BibTex
titre
Sparse moment-sum-of-squares relaxations for nonlinear dynamical systems with guaranteed convergence
auteur
Corbinian Schlosser, Milan Korda
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03059465/file/sparse.pdf BibTex
titre
Reflection groups and cones of sums of squares
auteur
Sebastian Debus, Cordian Riener
article
2020
Accès au bibtex
https://arxiv.org/pdf/2011.09997 BibTex
titre
Computing critical points for invariant algebraic systems
auteur
Jean-Charles Faugère, George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
article
2020
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02927636/file/hal-critpoint-main.pdf BibTex
titre
Binary forms of suprageneric rank and the multiple root loci
auteur
Alejandro González Nevado, Ettore Teixeira Turatti
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02892152/file/Ettore___Alejandro.pdf BibTex
titre
Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis
auteur
Grigory Devadze, Victor Magron, Stefan Streif
article
2020
Accès au bibtex
https://arxiv.org/pdf/2006.09884 BibTex
titre
CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization
auteur
Jie Wang, Victor Magron, Jean B Lasserre, Ngoc Hoang Anh Mai
article
2020
Accès au bibtex
https://arxiv.org/pdf/2005.02828 BibTex

2019

Journal articles

titre
Computing minimal Gorenstein covers
auteur
Juan Elias, Roser Homs, Bernard Mourrain
article
Journal of Pure and Applied Algebra, Elsevier, 2019, ⟨10.1016/j.jpaa.2019.106280⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01978906/file/EHM_MinimalGorensteinCovers_v2.pdf BibTex

Conference papers

titre
Computing the volume of compact semi-algebraic sets
auteur
Pierre Lairez, Marc Mezzarobba, Mohab Safey El Din
article
ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02110556/file/volumes.pdf BibTex

Book sections

titre
A Survey of Semidefinite Programming Approaches to the Generalized Problem of Moments and Their Error Analysis
auteur
Etienne de Klerk, Etienne De Klerk, Monique Laurent
article
World Women in Mathematics 2018, pp.17-56, 2019, ⟨10.1007/978-3-030-21170-7_1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02407295/file/1811.05439.pdf BibTex

Other publications

titre
Symmetric Ideals, Specht Polynomials and Solutions to Symmetric Systems of Equations
auteur
Philippe Moustrou, Cordian Riener, Hugues Verdure
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02436751/file/1912.05266.pdf BibTex
titre
Convergence analysis of a Lasserre hierarchy of upper bounds for polynomial minimization on the sphere
auteur
Etienne de Klerk, Monique Laurent
article
2019, ⟨10.1007/s10107-019-01465-1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02407335/file/Convergence%20analysis%20of%20a%20Lasserre%20hierarchy%20of%20upper%20bounds%20for%20polynomial%20minimization%20on%20the%20sphere.pdf BibTex