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