
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation)
- List Price: $99.00
- ISBN-10: 3211827943
- ISBN-13: 9783211827949
- Edition: Softcover reprint of
- Type: Paperback
- Publisher: Springer
About The Book
George Collins’ discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of... Read more