38 citations · 162 across the 28 of their papers we have counts for
Showing cs.SCShow all
3 papers · 1 filter
cs.SC2015★ 8 cited
Open Weak CAD and its Applications
Jingjun Han, Liyun Dai, Hoon Hong +1
The concept of open weak CAD is introduced. Every open CAD is an open weak CAD. On the contrary, an open weak CAD is not necessarily an open CAD. An algorithm for computing project…
cs.SC2014★ 15 cited
Constructing Fewer Open Cells by GCD Computation in CAD Projection
Jingjun Han, Liyun Dai, Bican Xia
A new projection operator based on cylindrical algebraic decomposition (CAD) is proposed. The new operator computes the intersection of projection factor sets produced by different…
cs.SC2012★ 2 cited
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 such that $f(\xx_n,k_0)\ge 0$ on is considered in this paper, which obviously t…