Prof. Elias Tsigaridas: Positivity certificates for multivariate polynomials
Sorbonne Université
Abstract: We present mathematical, algorithmic, and complexity results on defining and computing SOS certificates of positivity for
(multivariate) polynomials (in n >= 1 variables) with rational coefficients, that are positive over R^n.
Joint work(s) with Matias Bender, Chaoping Zhu, and Khazhgali Kozhasov.