zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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. 122-135 (1998).
BibTeX Cite

Filter Results by …

Reviewing State
Year of Publication