Code: 01563786

Automated Deduction in Geometry

Name: Automated Deduction in Geometry
Brand: Springer, Berlin
SKU: 01563786
Price: 51.68 EUR
Availability: InStock
Author: Jürgen Richter-Gebert
ISBN: 9783540425984

by Jürgen Richter-Gebert, Dongming Wang

Language: English
Binding: Paperback
Number of pages: 328
Publisher: Springer, Berlin, 2001
More about this

51.68 €

RRP: 55.96 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Nymphs and Naiads
23.86 € -1 %
Buy
Wandering Witch: The Journey of Elaina, Vol. 5 (light novel)
11.32 € -25 %
Buy
Death Sets Sail
8.28 € -26 %
Buy
Book of Joy
13.75 € -29 %
Buy
Krtek a zima - omalovánka
1.71 € -20 %
Buy
Muslim Expansion and Byzantine Collapse in North Africa
38.33 €
Buy
Hepatobiliary and Pancreatic Surgery
124.51 €
Buy
HARRY POTTER JA FÖÖNIKSI ORDU
50.26 € -12 %
Buy
Wściekłe suki
9.90 € -20 %
Buy
Dead
11.83 €
Buy
KOMPASS Wanderführer Istrien mit Kvarner-Bucht, Krk, Rab, Cres und Losinj, 55 Touren
13.65 € -12 %
Buy
New English Adventure STA A Pupil's Book w/ DVD Pack
17.79 €
Buy
Implementing QuantLib
35.39 € -7 %
Buy
Watchmakers
105.60 €
Buy
India- Pakistan Air War of 1965
96.09 €
Buy
Practical Uses for Princes with Pointed Ears
14.05 € -7 %
Buy
The Layover
9.70 € -29 %
Buy
Class Ceiling
25.08 € -25 %
Buy
Guía completa de natación
25.18 €
Buy
Celebration of Beauty (Inner and Outer)
20.32 € -24 %
Buy
Evolution Equations in Scales of Banach Spaces
50.57 € -9 %
Buy
L'Art de Verifier Les Dates Des Faits Historiques. T 9 (Ed.1818-1819)
29.22 €
Buy
Por Uma Vida Mais Iluminada: O surpreendente poder das pequenas aç?es para mudanças extraordinárias
12.84 € -6 %
Buy
Ravensburger 4856 play+ Mein allererstes Stoffbuch: Wilde Tiere, Leporello für die Bauchlage, Stoffbuch, Kuschelbuch, Babybett Umrandung, Nestchen
17.19 € -5 %
Buy
Long Shadow
31.96 € -11 %
Buy
Black Stockings 360: (hindi Edition )
5.86 € -7 %
Buy
DARK TOWERS
25.58 €
Buy
240 Inspirational Quotes on Humility
14.96 € -6 %
Buy
Blue Sky God - The Evolution of Science and Christianity
18.91 € -10 %
Buy
Napoléon et l'héritage de la gloire
36.10 €
Buy
The Reign of Queen Victoria: A Survey of Fifty Years of Progress V1
43.59 € -1 %
Buy
La Circular del bisbe Sever de Menorca sobre la conversió dels jueus (418-2018)
21.03 €
Buy
Investitionsgutereinkauf
70.70 € -6 %
Buy
Educación Especializada & Psicoeducación
44.50 € -14 %
Buy
Guernsey
91.33 € -1 %
Buy
LES PARTITIONS FRAUDULEUSES
14.25 €
Buy
Kit MosaIque complet 100% naturelles - Visage Cheval - GEANT (17X17) MOSAIC BOX
31.45 €
Buy
Theoretical Global Seismology
126.03 €
Buy
Catalogue d'Estampes Relatives Au Theatre, Portraits, Caricatures, Modes, Coiffures, Costumes
13.04 € -1 %
Buy
U.S. Manufacturing Dogfights
77.98 € -10 %
Buy
Gegenwart und Zukunft des Musiktheaters
25.28 € -16 %
Buy
Jenergeticheskaya bezopasnost' Respubliki Belarus'
48.95 € -14 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Automated Deduction in Geometry

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Automated Deduction in Geometry, ADG 2000, held in Zurich, Switzerland, in September 2000.The 16 revised full papers and two invited papers presented were carefully selected for publication during two rounds of reviewing and revision from a total of initially 31 submissions. Among the issues addressed are spatial constraint solving, automated proving of geometric inequalities, algebraic proof, semi-algebraic proofs, geometrical reasoning, computational synthetic geometry, incidence geometry, and nonstandard geometric proofs.

Book details

Book category Books in English Computing & information technology Computer science Artificial intelligence

51.68 €

Full title: Automated Deduction in Geometry
Subtitle: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Author: Jürgen Richter-Gebert, Dongming Wang
Language: English
Binding: Paperback
Number of pages: 328
EAN: 9783540425984
ISBN: 3540425985
ID: 01563786
Publisher: Springer, Berlin
Weight: 481 g
Dimensions: 235 × 155 × 18 mm
Published: 2001