Deciding lower-boundedness of polynomials

Nguyen Hong Duc, Vu Trung Hieu

This paper addresses the problem of deciding the lower-boundedness of an arbitrary real polynomial p in n variables.