Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions

DOI10.1145/2442829.2442859zbMath1323.65068arXiv1203.0253OpenAlexW1988025893MaRDI QIDQ5244535

Lihong Zhi, Erich L. Kaltofen, Feng Guo

Publication date: 27 March 2015

Published in: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.0253

zbMATH Keywords

certificates of infeasibility of semidefinite programsexact solution to semidefinite programsFarkas lemma in semidefinite programmingsum-of-squares denominators in Artin's theorem for definite polynomials

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Semidefinite programming (90C22)

Related Items (3)

Sums of squares on the hypercube ⋮ On exact Reznick, Hilbert-Artin and Putinar's representations ⋮ Exact Algorithms for Linear Matrix Inequalities

This page was built for publication: Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions