The complexity of quantifier elimination and cylindrical algebraic decomposition

Christopher W Brown, James H Davenport

Research output: Chapter in Book/Report/Conference proceedingConference contribution

65 Citations (Scopus)
Original languageEnglish
Title of host publicationISSAC '07 Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Place of PublicationNew York
PublisherAssociation for Computing Machinery
Pages54-60
Number of pages7
ISBN (Print)9781595937438
DOIs
Publication statusPublished - 2007
EventProceedings of the 2007 international symposium on Symbolic and algebraic computation - Waterloo, Ontario, Canada
Duration: 1 Jan 2007 → …

Conference

ConferenceProceedings of the 2007 international symposium on Symbolic and algebraic computation
CountryCanada
CityWaterloo, Ontario
Period1/01/07 → …

Cite this

Brown, C. W., & Davenport, J. H. (2007). The complexity of quantifier elimination and cylindrical algebraic decomposition. In ISSAC '07 Proceedings of the 2007 international symposium on Symbolic and algebraic computation (pp. 54-60). Association for Computing Machinery. https://doi.org/10.1145/1277548.1277557