Free delivery for orders over 69.99€

Check order status

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

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Automated Deduction in Geometry

Name: Automated Deduction in Geometry
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01657984
Price: 58.55 EUR
Availability: InStock
Author: Thomas Sturm
ISBN: 9783642210457

7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers

Thomas Sturm

Christoph Zengler

Language

English

Book Paperback

Libristo code: 01657984

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2011

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Wor... Full description

Libristo code: 01657984

142 b

58.55 €

114.51 лв

Low in stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Siostra anastazja życie pełne smaku historia przeplatana przepisami Anastazja Pustelnik

Hardback

6.87 € 13.43 лв

Glutenfreelandia e il labirinto di bambù Laura Ridolfi

Paperback

18.24 € 35.67 лв

Antoine de Saint-Exupéry (2nde Ed) Emmanuel Mounier

Paperback

8.21 € 16.06 лв

Hunger Games kolekce 1-4 (4DVD) Gary Ross

Video

22.68 € 44.36 лв

Tabellenwerk der nachschussigen Rentenbarwertfaktoren bei stetiger Verzinsung

Paperback

15.29 € 29.91 лв

Drogen Und Stadtstruktur Sabine Thabe

Paperback

60.92 € 119.16 лв

Les Rives de la Vienne, Legendes Du Poitou, (Ed.1857) Andre-Raoul Claude Francois Simeon De Croy-Chanel

Paperback

19.22 € 37.59 лв

Afetividade conectiva Silva Edileusa Regina Pena Da

Paperback

61.18 € 119.66 лв

Englisch Grammatik - clever gelernt Peter Oldham

Sheet

7.64 € 14.95 лв

Lüge Steffen Jacobsen

Paperback

15.71 € 30.72 лв

Compostar en casa : manual para fabricar abono con residuos del hogar JOSEP Mª. VALLES

Paperback

23.56 € 46.08 лв

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2008, held in Shanghai, China in September 2008.§The 11 revised full papers presented were carefully reviewed and selected from numerous initial submissions for the workshop during two rounds of reviewing and improvement. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics such as discrete mathematics, combinatorics, and numerics; symbolic and numeric methods for geometric computation, and geometric constraint solving. Further issues are the design and implementation of geometry software, special-purpose tools, automated theorem provers - in short applications of ADG to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education.