15 citations · 33 across the 13 of their papers we have counts for
1 paper · 2 filters
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…