Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 3.99 € DPD point 3.49 € GLS courier 4.99 € GLS point 3.99 € Croatian Post 4.99 € Overseas courier 4.99 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro

Automated Deduction in Geometry

Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers

Language EnglishEnglish
Book Paperback
Book Automated Deduction in Geometry Jürgen Richter-Gebert
Libristo code: 01563786
Publishers Springer, Berlin, November 2000
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop o... Full description
? points 125 b
51.31 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Investitionsgutereinkauf Erik Hofmann / Book Hardback
common.buy 70.19 €
HARRY POTTER JA FÖÖNIKSI ORDU Krista Kaer / Book Paperback
common.buy 47.09 €
La Circular del bisbe Sever de Menorca sobre la conversió dels jueus (418-2018) Amengual Batle / Book Paperback
common.buy 19.98 €
LES PARTITIONS FRAUDULEUSES VISNIEC / Book Paperback
common.buy 11.94 €
Por Uma Vida Mais Iluminada: O surpreendente poder das pequenas aç?es para mudanças extraordinárias Krishna Luchetti / Book Paperback
common.buy 13.75 €
KOMPASS Wanderführer Istrien mit Kvarner-Bucht, Krk, Rab, Cres und Losinj, 55 Touren Franz Wille / Book Paperback
common.buy 13.55 €
Wściekłe suki de La Cerda Dahlia / Book Paperback
common.buy 10.13 €
Ravensburger 4856 play+ Mein allererstes Stoffbuch: Wilde Tiere, Leporello für die Bauchlage, Stoffbuch, Kuschelbuch, Babybett Umrandung, Nestchen Nora Nowatzyk / Game/Toy Game
common.buy 17.06 €
El Mirador Calexico Audio Audio vinyl
common.buy 25.90 €
Catalogue d'Estampes Relatives Au Theatre, Portraits, Caricatures, Modes, Coiffures, Costumes Paul Roblin / Book Paperback
common.buy 13.95 €
Kit MosaIque complet 100% naturelles - Visage Cheval - GEANT (17X17) MOSAIC BOX TROIS PETITS POINTS Book Paperback
common.buy 28.91 €
Welt der Zahl Inklusiv. Inklusionsheft A3: Zahlen bis 10 Kerstin Rüter / Book Sheet
common.buy 7.52 €
Dnes nepečiem! Zuzana Šeršeňová / Book Hardback
common.buy 16.06 €
Jenergeticheskaya bezopasnost' Respubliki Belarus' Svetlana Sergeevna Avdeenko / Book Paperback
common.buy 176.05 €
Black Stockings 360: (hindi Edition ) Opal S. Ingram / Book Paperback
common.buy 6.32 €
Katy Lied Steely Dan / Audio Audio CD
common.buy 8.83 €
L'Art de Verifier Les Dates Des Faits Historiques. T 9 (Ed.1818-1819) Francois Clement / Book Paperback
common.buy 29.42 €
Gegenwart und Zukunft des Musiktheaters Jörn Peter Hiekel / Book Paperback
common.buy 25.10 €
Yoga Sutras de Patanjali (bolsillo) BENDRISS / Book Paperback
common.buy 9.63 €
Guía completa de natación David G. Thomas / Book Paperback
common.buy 23.89 €
Educación Especializada & Psicoeducación Dora Duget Silva / Book Paperback
common.buy 44.18 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Automated Deduction in Geometry
Author Jürgen Richter-Gebert, Dongming Wang
Language English
Binding Book - Paperback
Date of issue 2001
Number of pages 328
EAN 9783540425984
ISBN 3540425985
Libristo code 01563786
Publishers Springer, Berlin
Weight 481
Dimensions 155 x 235 x 18

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Pattern recognition
Mathematics & Science > Mathematics > Geometry
Computing & Information Technology > Computer programming / software engineering > Graphics programming
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Information technology: general issues
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

The Berkshires Farm Table Cookbook: 125 Homegrown Recipes from the Hills of New England Robert Bildner / Book Paperback
common.buy 22.69 €
Book of Joy Dalai Lama XIV / Book Hardback
common.buy 14.05 €
Water Pollution and Abatement Policy in India Debesh Chakraborty / Book Paperback
common.buy 51.31 €
Ancient Astrology BARTON / Book Hardback
common.buy 249.36 €
New English Adventure STA A Pupil's Book w/ DVD Pack Regina Raczyńská / Book Paperback
common.buy 17.67 €
Practical Uses for Princes with Pointed Ears Isabelle Saint-Michael / Book Paperback
common.buy 15.05 €
Watchmakers Maxima Gallery / Book Hardback
common.buy 71.10 €
Class Ceiling Sam Friedman / Book Hardback
common.buy 27.31 €
Narrative of the Death of Captain James Cook DAVID SAMWELL / Book Paperback
common.buy 15.96 €
Guernsey Www Ibpus Com / Book Paperback
common.buy 91.78 €
Blue Sky God - The Evolution of Science and Christianity Don MacGregor / Book Paperback
common.buy 17.97 €
Top
Death Sets Sail Robin Stevens / Book Paperback
common.buy 9.63 €
The Reign of Queen Victoria: A Survey of Fifty Years of Progress V1 Thomas Humphry Ward / Book Paperback
common.buy 46.69 €
Implementing QuantLib Luigi Ballabio / Book Paperback
common.buy 38.05 €
Top
Wandering Witch: The Journey of Elaina, Vol. 5 (light novel) JOUGI SHIRAISHI / Book Paperback
common.buy 12.34 €
DARK TOWERS ENRICH / Book Book
common.buy 24.29 €
Nymphs and Naiads Yahya El-Droubie / Book Hardback
common.buy 25.50 €
Hepatobiliary and Pancreatic Surgery Rowan W Parks / Book Hardback
common.buy 115.79 €
Planning the Primary National Curriculum: A Complete Guide for Trainees and Teachers Keira Sewell / Book Paperback
common.buy 40.66 €
The Layover Beth Reekles / Book Paperback
common.buy 9.63 €
Celebration of Beauty (Inner and Outer) Eliza Faith / Book Hardback
common.buy 21.98 €
Dead James Joyce / Book Paperback
common.buy 12.64 €
Theoretical Global Seismology F.A. Dahlen / Book Paperback
common.buy 134.27 €
Book of Isaiah John N. Oswalt / Book Hardback
common.buy 31.02 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?