Quantifier Elimination and Cylindrical Algebraic Decomposition

Name: Quantifier Elimination and Cylindrical Algebraic Decomposition
SKU: 8914058
Price: 159.00 NZD
Availability: InStock

Format:

Paperback / softback

Series:

Texts and Monographs in Symbolic Computation,

Show Hide Adult Content

$159.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.75 with Afterpay Learn more

6 weekly interest-free payments of $26.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 14-26 June using International Courier

Description

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. robot motion), also stimulating fundamental research in computer algebra over the past three decades. This volume is a state-of-the-art collection of important papers on CAD and QE and on the related area of algorithmic aspects of real geometry. It contains papers from a symposium held in Linz in 1993, reprints of seminal papers from the area including Tarskis landmark paper as well as a survey outlining the developments in CAD based QE that have taken place in the last twenty years.

Release date NZ

April 16th, 1998

Audiences

Postgraduate, Research & Scholarly
Professional & Vocational

Contributors

Edited by Bob F. Caviness
Edited by Jeremy R Johnson

Edition

Softcover reprint of the original 1st ed. 1998

Illustrations

16 Illustrations, black and white; XIX, 431 p. 16 illus.

Pages

431

Series

Texts and Monographs in Symbolic Computation,

Dimensions

170x244x23

ISBN-13

9783211827949

Product ID

8914058

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Non-Fiction Books:

Quantifier Elimination and Cylindrical Algebraic Decomposition

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*