TY  - RPRT
TI  - A Successive Resultant Projection for Cylindrical Algebraic Decomposition
AU  - Yong Yao
AU  - Jia Xu
AU  - Lu Yang
PY  - 2014
UR  - https://arxiv.org/abs/1412.4861
ID  - 1412.4861
ER  -