TY  - RPRT
TI  - Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting
AU  - Matthew England
AU  - David Wilson
AU  - Russell Bradford
AU  - James H. Davenport
PY  - 2014
DO  - 10.1007/978-3-662-44199-2_69
UR  - https://arxiv.org/abs/1405.6090
ID  - 1405.6090
ER  -