Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation - Bob F Caviness - Books - Springer Verlag GmbH - 9783211827949 - April 16, 1998
In case cover and title do not match, the title is correct

Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1998 edition

Bob F Caviness

Price
€ 47.99
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 1 - 11

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1998 edition

George Collins' discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g.

450 pages, 16 black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 16, 1998
ISBN13 9783211827949
Publishers Springer Verlag GmbH
Pages 431
Dimensions 170 × 244 × 23 mm   ·   721 g
Language German  
Editor Caviness, Bob F.
Editor Johnson, Jeremy R.
Show all

More by Bob F Caviness

See all of Bob F Caviness ( e.g. Paperback Book )