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)~$\mathbb{R}$. Such certificates take the form o…