Proving Inequalities and Solving Global Optimization Problems via Simplified CAD Projection

Jingjun Han, Zhi Jin, Bican Xia

Let $\xx_n=(x_1,\ldots,x_n)$ and $f\in \R[\xx_n,k]$. The problem of finding all $k_0$ such that $f(\xx_n,k_0)\ge 0$ on ${\mathbb{R}}^n$ is considered in this paper, which obviously t…