Automated Deduction in Geometry

By Francisco Botana

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 354077355X
• ISBN13: 9783540773559
• Release Date: December 2007
• Publisher: Springer
• Length: 218 Pages
• Weight: 0.76 lbs.
• Dimensions: 0.6" x 6.5" x 9.2"