A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms. - Jingjun Han (ASCM, 2012)

Proving inequalities and solving global optimization problems via simplified CAD projection - Jingjun Han; Zhi Jin (CoRR, 2012)

A simple quantifier-free formula of positive semi-definite cyclic ternary quartic forms - Jingjun Han (CoRR, 2012)

Constructing fewer open cells by GCD computation in CAD projection. - Jingjun Han; Liyun Dai; Bican Xia (ISSAC, 2014)

Proving inequalities and solving global optimization problems via simplified CAD projection. - Jingjun Han; Zhi Jin; Bican Xia (J. Symb. Comput., 2016)

Open weak CAD and its applications. - Jingjun Han; Liyun Dai; Hoon Hong; Bican Xia (J. Symb. Comput., 2017)