Automated Deduction in Geometry (Paperback)

Francisco Botana

ISBN 10: 354077355X / ISBN 13: 9783540773559

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2007

About this Item

Paperback. The papers in this volume show the lively variety of topics and methods in automated deduction in geometry, and their applicability to different branches of mathematics as well as to other sciences and technologies. The book is made up of the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in 2006. There are a total of 13 revised full papers selected from a number of submissions. Constitutes the refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. This book presents 13 revised full papers. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Seller Inventory # 9783540773559

Bibliographic Details

• Title: Automated Deduction in Geometry (Paperback)
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
• Publication Date: 2007
• Language: English
• ISBN 10: 354077355X
• ISBN 13: 9783540773559
• Binding: Paperback
• Condition: new

About this title

Synopsis

The papers in this volume show the lively variety of topics and methods in automated deduction in geometry, and their applicability to different branches of mathematics as well as to other sciences and technologies. The book is made up of the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in 2006. There are a total of 13 revised full papers selected from a number of submissions.