The complexity of quantifier elimination and cylindrical algebraic decomposition - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Christopher W. Brown' in GoogleThis author has not been identified. Look up 'James H. Davenport' in Google

runs on WebDSL