Jingjun Han

According to our database, Jingjun Han authored at least 6 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Open weak CAD and its applications.

Jingjun Han, Liyun Dai, Hoon Hong, Bican Xia

J. Symb. Comput., 2017

2016

Proving inequalities and solving global optimization problems via simplified CAD projection.

Jingjun Han, Zhi Jin, Bican Xia

J. Symb. Comput., 2016

2014

Constructing fewer open cells by GCD computation in CAD projection.

Jingjun Han, Liyun Dai, Bican Xia

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

2012

A simple quantifier-free formula of positive semi-definite cyclic ternary quartic forms

Jingjun Han

CoRR, 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 Semidefinite Cyclic Ternary Quartic Forms.

Jingjun Han

Proceedings of the Computer Mathematics, 2012