Klep, Igor; Magron, Victor; Povh, Janez Sparse noncommutative polynomial optimization. (English) Zbl 1494.90072 Math. Program. 193, No. 2 (B), 789-829 (2022). MSC: 90C23 90C22 47N10 13J10 PDFBibTeX XMLCite \textit{I. Klep} et al., Math. Program. 193, No. 2 (B), 789--829 (2022; Zbl 1494.90072) Full Text: DOI arXiv Link
Wang, Jie; Magron, Victor; Lasserre, Jean-Bernard TSSOS: a moment-SOS hierarchy that exploits term sparsity. (English) Zbl 1506.90202 SIAM J. Optim. 31, No. 1, 30-58 (2021). MSC: 90C23 12D15 14P10 14Q30 90C22 PDFBibTeX XMLCite \textit{J. Wang} et al., SIAM J. Optim. 31, No. 1, 30--58 (2021; Zbl 1506.90202) Full Text: DOI arXiv
Magron, Victor; Allamigeon, Xavier; Gaubert, Stéphane; Werner, Benjamin Formal proofs for nonlinear optimization. (English) Zbl 1451.90131 J. Formaliz. Reason. 8, No. 1, 1-24 (2015). MSC: 90C26 68V15 90C22 90C30 PDFBibTeX XMLCite \textit{V. Magron} et al., J. Formaliz. Reason. 8, No. 1, 1--24 (2015; Zbl 1451.90131) Full Text: DOI arXiv