TY  - RPRT
TI  - Speeding up Cylindrical Algebraic Decomposition by Gröbner Bases
AU  - David J. Wilson
AU  - Russell J. Bradford
AU  - James H. Davenport
PY  - 2012
UR  - https://arxiv.org/abs/1205.6285
ID  - 1205.6285
ER  -