paper

Deciding lower-boundedness of polynomials

arXiv:2511.22807

Abstract

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

arXiv comment19 pages