1 citations · 2 across the 7 of their papers we have counts for
1 paper · 1 filter
Yong Yao, Jia Xu, Lu Yang
This note shows the equivalence of two projection operators which both can be used in cylindrical algebraic decomposition (CAD) . One is known as Brown's Projection (C. W. Brown (2…