Certificates for nonnegativity of multivariate integer polynomials under perturbations

Matías R Bender, Khazhgali Kozhasov, Elias Tsigaridas +1

We develop a general and unconditional framework for certifying the global nonnegativity of multivariate integer polynomials; based on rewriting them as sum of squares modulo their…