David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport. Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition. In Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014. pages 53-60, IEEE, 2014. [doi]
@inproceedings{WilsonEBD14,
title = {Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition},
author = {David J. Wilson and Matthew England and Russell J. Bradford and James H. Davenport},
year = {2014},
doi = {10.1109/SYNASC.2014.15},
url = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2014.15},
researchr = {https://researchr.org/publication/WilsonEBD14},
cites = {0},
citedby = {0},
pages = {53-60},
booktitle = {16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014},
editor = {Franz Winkler and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie},
publisher = {IEEE},
isbn = {978-1-4799-8448-0},
}