Global optimization of polynomials using generalized critical values and sums of squares. - Feng Guo 007; Mohab Safey El Din; Lihong Zhi (ISSAC, 2010)

Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions. - Feng Guo 007; Erich L. Kaltofen; Lihong Zhi (ISSAC, 2012)

Global optimization of polynomials restricted to a smooth variety using sums of squares. - Aurélien Greuet; Feng Guo 007; Mohab Safey El Din; Lihong Zhi (J. Symb. Comput., 2012)

Optimizing a linear function over a noncompact real algebraic variety. - Feng Guo 007; Chu Wang; Lihong Zhi (SNC, 2014)

Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety. - Feng Guo 007; Mohab Safey El Din; Chu Wang; Lihong Zhi (ISSAC, 2015)

Semidefinite Representations of Noncompact Convex Sets. - Feng Guo 007; Chu Wang; Lihong Zhi (SIAM J. Optim., 2015)

On semi-infinite systems of convex polynomial inequalities and polynomial optimization problems. - Feng Guo 007; Xiaoxia Sun (Comput. Optim. Appl., 2020)

On types of degenerate critical points of real polynomial functions. - Feng Guo 007; Tien-Son Pham (J. Symb. Comput., 2020)