2024
Journal articles
- titre
- Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results
- auteur
- Rémi Prébet, Mohab Safey El Din, Éric Schost
- article
- Journal of Symbolic Computation, 2024, 120, pp.102234. ⟨10.1016/j.jsc.2023.102234⟩
- Accès au texte intégral et bibtex
-
- titre
- On the degree of varieties of sum of squares
- auteur
- Andrew Ferguson, Giorgio Ottaviani, Mohab Safey El Din, Ettore Turatti
- article
- Journal of Pure and Applied Algebra, In press
- Accès au texte intégral et bibtex
-
- titre
- Degree Bounds for Putinar's Positivstellensatz on the hypercube
- auteur
- Lorenzo Baldi, Lucas Slot
- article
- SIAM Journal on Applied Algebra and Geometry, 2024, 8 (1), pp.1-25. ⟨10.1137/23M1555430⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Convergence rates for the moment-SoS hierarchy
- auteur
- Corbinian Schlosser, Matteo Tacchi, Alexey Lazarev
- article
- 2024
- Accès au texte intégral et bibtex
-
2023
Journal articles
- titre
- A Signature-based Algorithm for Computing the Nondegenerate Locus of a Polynomial System
- auteur
- Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
- article
- Journal of Symbolic Computation, 2023, 119, pp.1-21. ⟨10.1016/j.jsc.2023.02.001⟩
- Accès au texte intégral et bibtex
-
- 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
- Mathematical Programming, 2023, 205, pp.703-744. ⟨10.1007/s10107-023-01993-x⟩
- Accès au 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
- Journal of Symbolic Computation, 2023, 116, pp.365-399. ⟨10.1016/j.jsc.2022.10.002⟩
- Accès au texte intégral et bibtex
-
- titre
- An effective version of Schmüdgen’s Positivstellensatz for the hypercube
- auteur
- Monique Laurent, Lucas Slot
- article
- Optimization Letters, 2023, 17 (3), pp.515-530. ⟨10.1007/s11590-022-01922-5⟩
- Accès au texte intégral et 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
- INFORMS Journal on Computing, 2023, 35 (2), pp.265-517. ⟨10.1287/ijoc.2022.1220⟩
- Accès au texte intégral et bibtex
-
- titre
- SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
- auteur
- Victor Magron, Jie Wang
- article
- Journal of Symbolic Computation, 2023, 115, pp.346-370. ⟨10.1016/j.jsc.2022.08.002⟩
- Accès au bibtex
-
- titre
- Convex scalarizations of the mean-variance-skewness-kurtosis problem in portfolio selection
- auteur
- Andries Steenkamp
- article
- Journal of Portfolio Management, 2023
- Accès au bibtex
-
- titre
- Sum-of-squares hierarchies for binary polynomial optimization
- auteur
- Lucas Slot, Monique Laurent
- article
- Mathematical Programming, 2023, 197 (2), pp.621-660. ⟨10.1007/s10107-021-01745-9⟩
- Accès au texte intégral et 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
- SIAM Journal on Optimization, 2023, 33 (1), ⟨10.1137/21M1436245⟩
- Accès au bibtex
-
- titre
- Noncommutative Christoffel-Darboux Kernels
- auteur
- Serban Belinschi, Victor Magron, Victor Vinnikov
- article
- Transactions of the American Mathematical Society, 2023, 376, pp.181-230. ⟨10.1090/tran/8648⟩
- Accès au bibtex
-
Conference papers
- titre
- Fast Algorithms for Discrete Differential Equations
- auteur
- Alin Bostan, Hadrien Notarantonio, Mohab Safey El Din
- article
- ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromso, Norvège, Norway
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Symmetries in polynomial optimization
- auteur
- Philippe Moustrou, Cordian Riener, Hugues Verdure
- article
- Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.47-98, In press, ⟨10.48550/arXiv.2305.05219⟩
- Accès au texte intégral et bibtex
-
- titre
- Matrix factorization ranks via polynomial optimization
- auteur
- Andries Steenkamp
- article
- Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.135-162, 2023, ⟨10.48550/arXiv.2302.09994⟩
- Accès au texte intégral et bibtex
-
- titre
- Assessing Safety for Control Systems Using Sum-of-Squares Programming
- auteur
- Han Wang, Kostas Margellos, Antonis Papachristodoulou
- article
- Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.187-214, In press
- Accès au texte intégral et bibtex
-
- titre
- Relative entropy methods in constrained polynomial and signomial optimization
- auteur
- Thorsten Theobald
- article
- Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.21-46, In press
- Accès au texte intégral et bibtex
-
- titre
- Polynomial optimization in geometric modeling
- auteur
- Soodeh Habibi, Michal Kočvara, Bernard Mourrain
- article
- Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.163-186, In press
- Accès au texte intégral et bibtex
-
- titre
- Polynomial Equations: Theory and Practice
- auteur
- Simon Telen
- article
- Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.215-240, In press, ⟨10.48550/arXiv.2210.04939⟩
- Accès au texte intégral et bibtex
-
- titre
- Copositive matrices, sums of squares and the stability number of a graph
- auteur
- Luis Felipe Vargas, Monique Laurent
- article
- Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.99-132, In press
- Accès au texte intégral et bibtex
-
- titre
- Polynomial Optimization, Certificates of Positivity, and Christoffel Function
- auteur
- Jean-Bernard Lasserre
- article
- Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.1-20, 2023
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- titre
- Contributions to polynomial system solving: Recurrences and Gröbner bases
- auteur
- Jérémy Berthomieu
- article
- Symbolic Computation [cs.SC]. Sorbonne Université, 2023
- Accès au texte intégral et bibtex
-
Other publications
- titre
- The Wonderful Geometry of the Vandermonde map
- auteur
- Jose Acevedo, Grigoriy Blekherman, Sebastian Debus, Cordian Riener
- article
- 2023
- Accès au bibtex
-
- titre
- Semidefinite approximations for bicliques and biindependent pairs
- auteur
- Monique Laurent, Sven Polak, Luis Felipe Vargas
- article
- 2023
- Accès au bibtex
-
Books
- titre
- Polynomial Optimization, Moments, and Applications
- auteur
- Michal Kočvara, Bernard Mourrain, Cordian Riener
- article
- Springer. Springer, 206, pp.258, 2023, SOIA. Springer Optimization and Its Applications, 978-3-031-38658-9
- Accès au bibtex
-
- titre
- Sparse Polynomial Optimization: Theory and Practice
- auteur
- Victor Magron, Jie Wang
- article
- World Scientific Press. 2023, Series on Optimization and Its Applications, 978-1-80061-294-5
- Accès au bibtex
-
Preprints, Working Papers, ...
- titre
- Certifying ground-state properties of many-body systems
- auteur
- Jie Wang, Jacopo Surace, Irénée Frérot, Benoît Legat, Marc-Olivier Renou, Victor Magron, Antonio Acín
- article
- 2023
- Accès au bibtex
-
- titre
- A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients
- auteur
- Jie Wang, Victor Magron
- article
- 2023
- Accès au bibtex
-
- titre
- A predictor-corrector algorithm for semidefinite programming that uses the factor width cone
- auteur
- Felix Kirschner, Etienne de Klerk
- article
- 2023
- Accès au 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
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Construction of multivariate polynomial approximation kernels via semidefinite programming
- auteur
- Felix Kirschner, Etienne de Klerk
- article
- 2023
- Accès au bibtex
-
- titre
- Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations
- auteur
- Nicolas Augier, Didier Henrion, Milan Korda, Victor Magron
- article
- 2023
- Accès au bibtex
-
- titre
- Sums of squares certificates for polynomial moment inequalities
- auteur
- Igor Klep, Victor Magron, Jurij Volčič
- article
- 2023
- Accès au bibtex
-
- titre
- Correlations constrained by composite measurements
- auteur
- John H. Selby, Ana Belén Sainz, Victor Magron, Łukasz Czekaj, Michał Horodecki
- article
- 2023
- Accès au bibtex
-
- titre
- Solving Lasserre relaxations of unconstrained binary quadratic optimization problems by an interior-point method
- auteur
- Soodeh Habibi, Michal Kočvara, Michael Stingl
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Loraine - An interior-point solver for low-rank semidefinite programming
- auteur
- Soodeh Habibi, Michal Kočvara, Michael Stingl
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Convergence rates for sums-of-squares hierarchies with correlative sparsity
- auteur
- Milan Korda, Victor Magron, Rodolfo Rios-Zertuche
- article
- 2023
- Accès au bibtex
-
- titre
- Peak Estimation of Time Delay Systems using Occupation Measures
- auteur
- Jared Miller, Milan Korda, Victor Magron, Mario Sznaier
- article
- 2023
- Accès au bibtex
-
- titre
- Optimization of trigonometric polynomials with crystallographic symmetry and spectral bounds for set avoiding graphs
- auteur
- Evelyne Hubert, Tobias Metzlaff, Philippe Moustrou, Cordian Riener
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Sums of squares representations on singular loci
- auteur
- Ngoc Hoang Anh Mai, Victor Magron
- article
- 2023
- Accès au bibtex
-
- titre
- Algebraic certificates for the truncated moment problem
- auteur
- Didier Henrion, Simone Naldi, Mohab Safey El Din
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares
- auteur
- Victor Magron, Przemysław Koprowski, Tristan Vaccon
- article
- 2023
- Accès au bibtex
-
- titre
- State polynomials: positivity, optimization and nonlinear Bell inequalities
- auteur
- Igor Klep, Victor Magron, Jurij Volčič, Jie Wang
- article
- 2023
- Accès au bibtex
-
2022
Journal articles
- titre
- Certifying Global Optimality of AC-OPF Solutions via the CS-TSSOS Hierarchy
- auteur
- Jie Wang, Victor Magron, Jean-Bernard Lasserre
- article
- Electric Power Systems Research, 2022, 213, pp.108683. ⟨10.1016/j.epsr.2022.108683⟩
- Accès au bibtex
-
- titre
- Exploiting constant trace property in large-scale polynomial optimization
- auteur
- Ngoc Hoang Anh Mai, Jean-Bernard Lasserre, Victor Magron, Jie Wang
- article
- ACM Transactions on Mathematical Software, 2022, 48 (4), pp.1-39. ⟨10.1145/3555309⟩
- Accès au bibtex
-
- titre
- Koopman and Perron–Frobenius operators on reproducing kernel Banach spaces
- auteur
- Masahiro Ikeda, Isao Ishikawa, Corbinian Schlosser
- article
- Chaos: An Interdisciplinary Journal of Nonlinear Science, 2022, 32 (12), pp.123143. ⟨10.1063/5.0094889⟩
- Accès au bibtex
-
- titre
- Dimension-free entanglement detection in multipartite Werner states
- auteur
- Felix Huber, Igor Klep, Victor Magron, Jurij Volčič
- article
- Communications in Mathematical Physics, 2022, 396, pp.1051-1070. ⟨10.1007/s00220-022-04485-9⟩
- Accès au bibtex
-
- titre
- On the exactness of sum-of-squares approximations for the cone of 5 × 5 copositive matrices
- auteur
- Monique Laurent, Luis Felipe Vargas
- article
- Linear Algebra and its Applications, 2022, 651, pp.26-50. ⟨10.1016/j.laa.2022.06.015⟩
- Accès au bibtex
-
- titre
- On the Effective Putinar’s Positivstellensatz and Moment Approximation
- auteur
- Lorenzo Baldi, Bernard Mourrain
- article
- Mathematical Programming, Series A, 2022, ⟨10.1007/s10107-022-01877-6⟩
- Accès au texte intégral et bibtex
-
- titre
- Bounding the separable rank via polynomial optimization
- auteur
- Sander Gribling, Monique Laurent, Andries Steenkamp
- article
- Linear Algebra and its Applications, 2022, 648, pp.1-55. ⟨10.1016/j.laa.2022.04.010⟩
- Accès au bibtex
-
- titre
- A certified iterative method for isolated singular roots
- auteur
- Angelos Mantzaflaris, Bernard Mourrain, Agnes Szanto
- article
- Journal of Symbolic Computation, 2022, 115, pp.223-247. ⟨10.1016/j.jsc.2022.08.006⟩
- Accès au texte intégral et 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, 2022, 602, pp.154-180. ⟨10.1016/j.jalgebra.2022.03.002⟩
- Accès au texte intégral et 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, 2022, 111, pp.1-26. ⟨10.1016/j.jsc.2021.11.001⟩
- Accès au texte intégral et 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, 2022, 7 (3), pp.6012 - 6019. ⟨10.1109/LRA.2022.3163444⟩
- Accès au texte intégral et bibtex
-
- titre
- On the complexity of Putinar-Vasilescu's Positivstellensatz
- auteur
- Ngoc Hoang Anh Mai, Victor Magron
- article
- Journal of Complexity, 2022, ⟨10.1016/j.jco.2022.101663⟩
- Accès au bibtex
-
- titre
- Computing totally real hyperplane sections and linear series on algebraic curves
- auteur
- Huu Phuoc Le, Dimitri Manevich, Daniel Plaumann
- article
- Le Matematiche, 2022, 77 (1), pp.119-141. ⟨10.4418/2022.77.1.7⟩
- Accès au texte intégral et bibtex
-
- titre
- The span of singular tuples of a tensor beyond the boundary format
- auteur
- Luca Sodomaco, Ettore Teixeira Turatti
- article
- Journal of Symbolic Computation, 2022, 120, pp.102230. ⟨10.1016/j.jsc.2023.102230⟩
- Accès au 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, 2022, 30 (3), pp.1105-1116. ⟨10.1007/s11228-022-00637-0⟩
- Accès au texte intégral et bibtex
-
- titre
- Stability of Linear Systems under Extended Weakly-Hard Constraints
- auteur
- Nils Vreman, Paolo Pazzaglia, Jie Wang, Victor Magron, Martina Maggio
- article
- IEEE Control Systems Letters, 2022, 6, pp.2900-2905. ⟨10.1109/LCSYS.2022.3179960⟩
- Accès au bibtex
-
- titre
- On tensors that are determined by their singular tuples
- auteur
- Ettore Turatti
- article
- SIAM Journal on Applied Algebra and Geometry, 2022, 6 (2), pp.319-338. ⟨10.1137/21M1412980⟩
- Accès au texte intégral et bibtex
-
- titre
- T-orbit spaces of multiplicative actions and applications
- auteur
- Evelyne Hubert, Tobias Metzlaff, Philippe Moustrou, Cordian Riener
- article
- ACM Communications in Computer Algebra, 2022, 56 (2), pp.72-75. ⟨10.1145/3572867.3572879⟩
- Accès au 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, 2022, 109, pp.1-30. ⟨10.1016/j.jsc.2021.07.002⟩
- Accès au texte intégral et bibtex
-
- titre
- Exploiting Sparsity in Complex Polynomial Optimization
- auteur
- Jie Wang, Victor Magron
- article
- Journal of Optimization Theory and Applications, 2022, 192, pp.335-359. ⟨10.1007/s10957-021-01975-z⟩
- Accès au 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, 2022, 81 (1), pp.31-66. ⟨10.1007/s10589-021-00325-z⟩
- Accès au bibtex
-
- titre
- Finite convergence of sum-of-squares hierarchies for the stability number of a graph
- auteur
- Monique Laurent, Luis Felipe Vargas Beltran
- article
- SIOPT, 2022
- Accès au texte intégral et 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, In press, 112, pp.25-61. ⟨10.1016/j.jsc.2021.12.002⟩
- Accès au texte intégral et bibtex
-
- titre
- A sparse version of Reznick's Positivstellensatz
- auteur
- N. H. A. Mai, Victor Magron, Jean-Bernard Lasserre
- article
- Mathematics of Operations Research, 2022, ⟨10.1287/moor.2022.1284⟩
- Accès au bibtex
-
Conference papers
- titre
- Signed Tropicalizations of Convex Semialgebraic Sets
- auteur
- Mateusz Skomra
- article
- Extended Abstracts presented at the 25th International Symposium on Mathematical Theory of Networks and Systems MTNS 2022, Sep 2022, Bayreuth, Germany. pp.697-700, ⟨10.15495/EPub_UBT_00006809⟩
- Accès au texte intégral et bibtex
-
- 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 2022), Jul 2022, Londres, United Kingdom. ⟨10.23919/ECC55457.2022.9838085⟩
- Accès au texte intégral et 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
- ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. ⟨10.1145/3476446.3535477⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
Master thesis
- titre
- The Christoffel function for supervised learning: theory and practice
- auteur
- Srećko Ðurašinović
- article
- Machine Learning [stat.ML]. 2022
- Accès au texte intégral et bibtex
-
Other publications
- titre
- Converging approximations of attractors via almost Lyapunov functions and semidefinite programming
- auteur
- Corbinian Schlosser
- article
- 2022
- Accès au bibtex
-
Theses
- titre
- Certified Polynomial Optimization Based on Exact Sum of Squares Decompositions
- auteur
- Trung-Hieu Vu
- article
- Mathematics [math]. Sorbonne Université, 2022. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- On Łojasiewicz Inequalities and the Effective Putinar's Positivstellensatz
- auteur
- Lorenzo Baldi, Bernard Mourrain, Adam Parusinski
- article
- 2022
- Accès au texte intégral et 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
-
- 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
-
- titre
- The poset of Specht ideals for hyperoctahedral groups
- auteur
- Sebastian Debus, Philippe Moustrou, Cordian Riener, Hugues Verdure
- article
- 2022
- Accès au bibtex
-
- titre
- Exact Moment Representation in Polynomial Optimization
- auteur
- Lorenzo Baldi, Bernard Mourrain
- article
- 2022
- Accès au texte intégral et 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
-
- 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
-
- titre
- Orbit spaces of Weyl groups acting on compact tori: a unified and explicit polynomial description
- auteur
- Evelyne Hubert, Tobias Metzlaff, Cordian Riener
- article
- 2022
- Accès au texte intégral et 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
-
2021
Journal articles
- titre
- Converging outer approximations to global attractors using semidefinite programming
- auteur
- Corbinian Schlosser, Milan Korda
- article
- Automatica, 2021, 134, pp.109900. ⟨10.1016/j.automatica.2021.109900⟩
- Accès au texte intégral et bibtex
-
- titre
- On Exact Reznick, Hilbert-Artin and Putinar's Representations
- auteur
- Victor Magron, Mohab Safey El Din
- article
- Journal of Symbolic Computation, 2021, 107, pp.221-250. ⟨10.1016/j.jsc.2021.03.005⟩
- Accès au texte intégral et bibtex
-
- titre
- Optimization over trace polynomials
- auteur
- Igor Klep, Victor Magron, Jurij Volčič
- article
- Annales Henri Poincaré, 2021, ⟨10.1007/s00023-021-01095-4⟩
- Accès au bibtex
-
- titre
- On the solution existence and stability of polynomial optimization problems
- auteur
- Trung-Hieu Vu
- article
- Optimization Letters, 2021, ⟨10.1007/s11590-021-01788-z⟩
- Accès au texte intégral et bibtex
-
- titre
- Exploiting term sparsity in Noncommutative Polynomial Optimization
- auteur
- Jie Wang, Victor Magron
- article
- Computational Optimization and Applications, 2021, 80, pp.483-521. ⟨10.1007/s10589-021-00301-7⟩
- Accès au 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, 2021, 31 (3), pp.2285-2306. ⟨10.1137/20M138541X⟩
- Accès au 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, In press, 54 (3), pp.109-113. ⟨10.1145/3457341.3457348⟩
- Accès au texte intégral et 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, 2021, ⟨10.1137/20M1323564⟩
- Accès au 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, 2021, 102, pp.259-278. ⟨10.1016/j.jsc.2019.10.018⟩
- Accès au bibtex
-
- titre
- TSSOS: A Moment-SOS hierarchy that exploits term sparsity
- auteur
- Jie Wang, Victor Magron, Jean-Bernard Lasserre
- article
- SIAM Journal on Optimization, 2021, 31 (1), pp.30--58. ⟨10.1137/19M1307871⟩
- Accès au 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, 2021, 66, pp.101557. ⟨10.1016/j.jco.2021.101557⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Polynomial optimization based schemes for solving AC Optimal Power Flow problems
- auteur
- Edgar Fuentes, Bernard Mourrain, Michaël Gabay
- article
- EURO 2021, Jul 2021, Athens, Greece
- Accès au 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
-
- 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
-
Other publications
- titre
- Sparsity structures for Koopman operators
- auteur
- Corbinian Schlosser, Milan Korda
- article
- 2021
- Accès au bibtex
-
- titre
- Minimum cross-entropy distributions on Wasserstein balls and their applications
- auteur
- Luis Felipe Vargas, Mauricio Velasco
- article
- 2021
- Accès au 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
-
- titre
- Noncommutative Polynomial Optimization
- auteur
- Abhishek Bhardwaj, Igor Klep, Victor Magron
- article
- 2021
- Accès au 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
-
- 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
-
- 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
-
- 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
-
2020
Journal articles
- titre
- Optimizing hypergraph-based polynomials modeling job-occupancy in queueing with redundancy scheduling
- auteur
- Monique Laurent, Andries Steenkamp, Daniel Brosch
- article
- SIAM Journal on Control and Optimization, 2020
- Accès au texte intégral et bibtex
-
- titre
- Computing the Hausdorff boundary measure of semi-algebraic sets
- auteur
- Jean-Bernard Lasserre, Victor Magron
- article
- SIAM Journal on Applied Algebra and Geometry, 2020, 4 (3), pp.441-469. ⟨10.1137/20M1314392⟩
- Accès au bibtex
-
- titre
- Computing controlled invariant sets from data using convex optimization
- auteur
- Milan Korda
- article
- SIAM Journal on Control and Optimization, 2020, 58 (5), pp.2871-2899. ⟨10.1137/19M1305835⟩
- Accès au texte intégral et bibtex
-
- titre
- Decomposition of arrow type positive semidefinite matrices with application to topology optimization
- auteur
- Michal Kočvara
- article
- Mathematical Programming, 2020, ⟨10.1007/s10107-020-01526-w⟩
- Accès au texte intégral et 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, In press, ⟨10.1007/s00285-020-01540-8⟩
- Accès au texte intégral et bibtex
-
- titre
- Two remarks on sums of squares with rational coefficients.
- auteur
- Jose Capco, Claus Scheiderer
- article
- Banach Center Publications, 2020, 121, pp.25-36. ⟨10.4064/bc121-2⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
Preprints, Working Papers, ...
- 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
-
- 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
-
- titre
- Reflection groups and cones of sums of squares
- auteur
- Sebastian Debus, Cordian Riener
- article
- 2020
- Accès au 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
-
- 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
-
- 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
-
2019
Journal articles
- titre
- Computing minimal Gorenstein covers
- auteur
- Juan Elias, Roser Homs, Bernard Mourrain
- article
- Journal of Pure and Applied Algebra, 2019, ⟨10.1016/j.jpaa.2019.106280⟩
- Accès au texte intégral et 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
-
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
-
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
-
- 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
-