Deciding lower-boundedness of polynomials

Abstract

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

19 pages