1 citations · 2 across the 14 of their papers we have counts for
1 paper · 1 filter
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…