@inproceedings{de071eb199f84021950c13ffc5681b4a,
title = "The complexity of quantifier elimination and cylindrical algebraic decomposition",
author = "Brown, {Christopher W} and Davenport, {James H}",
year = "2007",
doi = "10.1145/1277548.1277557",
language = "English",
isbn = "9781595937438",
pages = "54--60",
booktitle = "ISSAC '07 Proceedings of the 2007 international symposium on Symbolic and algebraic computation",
publisher = "Association for Computing Machinery",
address = "USA United States",
note = "Proceedings of the 2007 international symposium on Symbolic and algebraic computation ; Conference date: 01-01-2007",
}