×

zbMATH — the first resource for mathematics

A generic projection operator for partial cylindrical algebraic decomposition. (English) Zbl 1072.68696
Sendra, J. Rafael (ed.), ISSAC 2003. Proceedings of the 2003 international symposium on symbolic and algebraic computation, Philadelphia, PA, USA, August 3–6, 2003. New York, NY: ACM Press (ISBN 1-58113-641-2/pbk). 240-247 (2003).

MSC:
68W30 Symbolic computation and algebraic computation
03C10 Quantifier elimination, model completeness, and related topics
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
Software:
QEPCAD; REDLOG
PDF BibTeX XML Cite