Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers
Author:   Thomas Sturm ,  Christoph Zengler
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Volume:   6301
ISBN:  

9783642210457


Pages:   225
Publication Date:   16 May 2011
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $190.08 Quantity:  
Add to Cart

Share |

Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers


Add your own review!

Overview

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th 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.

Full Product Details

Author:   Thomas Sturm ,  Christoph Zengler
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Volume:   6301
Dimensions:   Width: 15.50cm , Height: 1.50cm , Length: 23.50cm
Weight:   0.364kg
ISBN:  

9783642210457


ISBN 10:   3642210457
Pages:   225
Publication Date:   16 May 2011
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now