Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Automated Deduction in Geometry

Name: Automated Deduction in Geometry
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01657984
Price: 22802 HUF
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

152 b

22 802 Ft

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

Up to 30 days for returns

Customers also purchased

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

Paperback

2 987 Ft

Glutenfreelandia e il labirinto di bambù Laura Ridolfi

Paperback

7 176 Ft

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

Video

8 090 Ft

Tabellenwerk der nachschussigen Rentenbarwertfaktoren bei stetiger Verzinsung

Paperback

5 751 Ft

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

Hardback

2 357 Ft

Englisch Grammatik - clever gelernt Peter Oldham

Sheet

2 869 Ft

Lüge Steffen Jacobsen

Paperback

5 898 Ft

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

Paperback

8 842 Ft

Drogen Und Stadtstruktur Sabine Thabe

Paperback

22 844 Ft

Afetividade conectiva Silva Edileusa Regina Pena Da

Paperback

22 981 Ft

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

Paperback

6 996 Ft

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.