State polynomials: positivity, optimization and nonlinear Bell inequalities
Klep, Igor, Magron, Victor, Volčič, Jurij, Wang, Jie
Published in Mathematical programming (01.09.2024)
Published in Mathematical programming (01.09.2024)
Get full text
Journal Article
Dimension-Free Entanglement Detection in Multipartite Werner States
Huber, Felix, Klep, Igor, Magron, Victor, Volčič, Jurij
Published in Communications in mathematical physics (01.12.2022)
Published in Communications in mathematical physics (01.12.2022)
Get full text
Journal Article
Positivity certificates and polynomial optimization on non-compact semialgebraic sets
Mai, Ngoc Hoang Anh, Lasserre, Jean-Bernard, Magron, Victor
Published in Mathematical programming (01.07.2022)
Published in Mathematical programming (01.07.2022)
Get full text
Journal Article
A FORMAL PROOF OF THE KEPLER CONJECTURE
HALES, THOMAS, ADAMS, MARK, BAUER, GERTRUD, DANG, TAT DAT, HARRISON, JOHN, HOANG, LE TRUONG, KALISZYK, CEZARY, MAGRON, VICTOR, MCLAUGHLIN, SEAN, NGUYEN, TAT THANG, NGUYEN, QUANG TRUONG, NIPKOW, TOBIAS, OBUA, STEVEN, PLESO, JOSEPH, RUTE, JASON, SOLOVYEV, ALEXEY, TA, THI HOAI AN, TRAN, NAM TRUNG, TRIEU, THI DIEP, URBAN, JOSEF, VU, KY, ZUMKELLER, ROLAND
Published in Forum of mathematics. Pi (2017)
Published in Forum of mathematics. Pi (2017)
Get full text
Journal Article
Certifying Ground-State Properties of Many-Body Systems
Wang, Jie, Surace, Jacopo, Frérot, Irénée, Legat, Benoît, Renou, Marc-Olivier, Magron, Victor, Acín, Antonio
Published in Physical review. X (01.07.2024)
Published in Physical review. X (01.07.2024)
Get full text
Journal Article
A hierarchy of spectral relaxations for polynomial optimization
Mai, Ngoc Hoang Anh, Lasserre, Jean-Bernard, Magron, Victor
Published in Mathematical programming computation (01.12.2023)
Published in Mathematical programming computation (01.12.2023)
Get full text
Journal Article
Correlations constrained by composite measurements
Selby, John H., Sainz, Ana Belén, Magron, Victor, Czekaj, Łukasz, Horodecki, Michał
Published in Quantum (Vienna, Austria) (10.08.2023)
Published in Quantum (Vienna, Austria) (10.08.2023)
Get full text
Journal Article
Formal Proofs for Nonlinear Optimization
Magron, Victor, Allamigeon, Xavier, Gaubert, Stéphane, Werner, Benjamin
Published in Journal of Formalized Reasoning (01.01.2015)
Published in Journal of Formalized Reasoning (01.01.2015)
Get full text
Journal Article
Certifying global optimality of AC-OPF solutions via sparse polynomial optimization
Wang, Jie, Magron, Victor, Lasserre, Jean B.
Published in Electric power systems research (01.12.2022)
Published in Electric power systems research (01.12.2022)
Get full text
Journal Article
Exploiting Term Sparsity in Moment-SOS Hierarchy for Dynamical Systems
Wang, Jie, Schlosser, Corbinian, Korda, Milan, Magron, Victor
Published in IEEE transactions on automatic control (01.12.2023)
Published in IEEE transactions on automatic control (01.12.2023)
Get full text
Journal Article
Certifying Global Optimality of AC-OPF Solutions via the CS-TSSOS Hierarchy
Wang, Jie, Magron, Victor, Lasserre, Jean-Bernard
Published in Electric power systems research (01.12.2022)
Published in Electric power systems research (01.12.2022)
Get full text
Journal Article
Convergence rates for sums-of-squares hierarchies with correlative sparsity
Korda, Milan, Magron, Victor, Ríos-Zertuche, Rodolfo
Published in Mathematical programming (25.03.2024)
Published in Mathematical programming (25.03.2024)
Get full text
Journal Article