×

zbMATH — the first resource for mathematics

An improved projection operation for cylindrical algebraic decomposition. (English) Zbl 0900.68279
Caviness, Bob F. (ed.) et al., Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6–8, 1993. Wien: Springer. Texts and Monographs in Symbolic Computation. 242-268 (1998).
For the entire collection see [Zbl 0906.03033].

MSC:
68W30 Symbolic computation and algebraic computation
PDF BibTeX XML Cite