×

zbMATH — the first resource for mathematics

The complexity of quantifier elimination and cylindrical algebraic decomposition. (English) Zbl 1190.68028
Brown, C. W. (ed.), ISSAC 2007. Proceedings of the 32nd international symposium on symbolic and algebraic computation (ISSAC 2007), Waterloo, ON, Canada, July 29–August 1, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-743-8). 54-60 (2007).

MSC:
68Q25 Analysis of algorithms and problem complexity
03C10 Quantifier elimination, model completeness, and related topics
68W30 Symbolic computation and algebraic computation
Software:
SACLIB; REDLOG; QEPCAD
PDF BibTeX XML Cite