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]
No references recorded for this publication.
No citations of this publication recorded.