38 citations · 162 across the 28 of their papers we have counts for
1 paper · 1 filter
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…