The complexity of quantifier elimination and cylindrical algebraic decomposition

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]

Abstract

Abstract is missing.