Jingjun Han

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Solving Global Optimization Problems

Valid Inequalities

Computer Aided Design

Positive Semi Definite

Top Venues

J. Symb. Comput.

Publications

Jingjun Han, Liyun Dai, Hoon Hong, Bican Xia
Open weak CAD and its applications. J. Symb. Comput. 80 (2017)
Jingjun Han, Zhi Jin, Bican Xia
Proving inequalities and solving global optimization problems via simplified CAD projection. J. Symb. Comput. 72 (2016)
Liyun Dai, Jingjun Han, Hoon Hong, Bican Xia
Open Weak CAD and Its Applications. CoRR (2015)
Jingjun Han, Liyun Dai, Bican Xia
Constructing Fewer Open Cells by GCD Computation in CAD Projection. CoRR (2014)
Jingjun Han, Liyun Dai, Bican Xia
Constructing fewer open cells by GCD computation in CAD projection. ISSAC (2014)
Jingjun Han
A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms. ASCM (2012)
Jingjun Han
A simple quantifier-free formula of positive semi-definite cyclic ternary quartic forms CoRR (2012)
Jingjun Han, Zhi Jin
Proving inequalities and solving global optimization problems via simplified CAD projection CoRR (2012)