15 citations · 33 across the 13 of their papers we have counts for
Showing 2014Show all
2 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★ 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…