3 papers
cs.SC2025
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…
cs.CC2025
Positive Univariate Polynomials: SOS certificates, algorithms, bit complexity, and T-systems
Matías Bender, Philipp Di Dio, Elias Tsigaridas
We consider certificates of positivity for univariate polynomials with rational coefficients that are positive over (an interval of)~. Such certificates take the form o…
math.AC2025
Solving bihomogeneous polynomial systems with a zero-dimensional projection
Matías Bender, Laurent Busé, Carles Checa +1
We study bihomogeneous systems defining, non-zero dimensional, biprojective varieties for which the projection onto the first group of variables results in a finite set of points.…