Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation)

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

FINDING THE BEST PRICES