Certificates of Impossibility of Hilbert-Artin Representations of a Given Degree for Definite Polynomials and Functions

Feng Guo, Erich L. Kaltofen, Lihong Zhi

We deploy numerical semidefinite programming and conversion to exact rational inequalities to certify that for a positive semidefinite input polynomial or rational function, any re…