Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Quantifier Elimination and Cylindrical Algebraic Decomposition

Quantifier Elimination and Cylindrical Algebraic Decomposition

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783211827949
Condition
New
Product 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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Beginning Oracle WebCenter Portal 12c

$49.99

Alkohol und Tabak

$19.99

Smart Ultrasound Imaging and Perinatal, Preterm and Paediatric Image Analysis

$54.99

Skularisierung als Kampf

$44.99

Der Enterprise Transformation Cycle

$69.99

Mechanisms of B Cell Neoplasia 1998

$129.00

The Letters of Mozart and his Family

$79.99

Hydrological Processes of the Danube River Basin

$129.00

Telling It Like It Is

$44.99

Politische Bildung in Aktion

$49.99

Mitochondrial Bioenergetics

$169.99

Operations Research Proceedings 2002

$169.99

Dynamic Agroindustrial Clusters

$39.99

The Underpants

$5.24

Religious Experience

$74.99

Guided Reading Level Pack 3

$69.00

Advances in Cognitive Neurodynamics (V)

$329.99

Umsatzsteuer - Grundlagen der Praxis

$44.99

Jaakko Hintikka

$54.99

Atlas of Bone Scintigraphy in the Pathological Paediatric Skeleton

$84.99

Computer Vision ECCV 2020 Workshops

$39.99

Optics for Ophthalmologists

$109.99

Phenomenological Psychology

$129.00

Migration in China and Asia

$109.99

Cranio-Orbital Mass Lesions

$119.00

Community and Climate Resilience in the Semi-Arid Tropics

$129.99

The New World Order in International Finance

$169.99

Design, User Experience, and Usability. User Experience in Advanced Technological Environments

$54.99

STACS 2004

$109.99

Microbiological Safety and Quality of Food

$549.99

There Was an Old Lady Who Swallowed a Chick!

$4.49

and Age-Related Changes in Tree Structure and Function

$299.99

Handbuch des Deutschen Theater- Film- Musik- und Artistenrechts

$59.99

Do You Want to Be a Teacher

$3.71

Bankverhalten in Kreditbeziehungen

$59.99

Emerging Trends in the Evolution of Service-Oriented and Enterprise Architectures

$109.99

Managing Patients with Chronic Pain and Opioid Addiction

$54.99

Freshwater Flora of Central Europe, Vol 13: Chlorophyta: Ulvophyceae (Swasserflora von Mitteleurop

$179.99

Learning, Design, and Technology

$1,999.99

Advanced Finite Element Technologies

$109.99