Christopher W. Brown, James H. Davenport. The complexity of quantifier elimination and cylindrical algebraic decomposition. In Dongming Wang, editor, Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings. pages 54-60, ACM, 2007. [doi]
@inproceedings{BrownD07:0,
title = {The complexity of quantifier elimination and cylindrical algebraic decomposition},
author = {Christopher W. Brown and James H. Davenport},
year = {2007},
doi = {10.1145/1277548.1277557},
url = {http://doi.acm.org/10.1145/1277548.1277557},
tags = { algebra},
researchr = {https://researchr.org/publication/BrownD07%3A0},
cites = {0},
citedby = {0},
pages = {54-60},
booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
editor = {Dongming Wang},
publisher = {ACM},
isbn = {978-1-59593-743-8},
}