TY  - RPRT
TI  - Using the distribution of cells by dimension in a cylindrical algebraic decomposition
AU  - David Wilson
AU  - Matthew England
AU  - Russell Bradford
AU  - James H. Davenport
PY  - 2014
DO  - 10.1109/synasc.2014.15
UR  - https://arxiv.org/abs/1409.1781
ID  - 1409.1781
ER  -