15 citations · 52 across the 35 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
math.OC2014
Smaller SDP for SOS Decomposition
Liyun Dai, Bican Xia
A popular numerical method to compute SOS (sum of squares of polynomials) decompositions for polynomials is to transform the problem into semi-definite programming (SDP) problems a…
cs.SC2014
Hierarchical Comprehensive Triangular Decomposition
Zhenghong Chen, Xiaoxian Tang, Bican Xia
The concept of comprehensive triangular decomposition (CTD) was first introduced by Chen et al. in their CASC'2007 paper and could be viewed as an analogue of comprehensive Grobner…
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…