Free shipping on orders over $99
Automated Deduction in Geometry

Automated Deduction in Geometry

10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

by Pedro Quaresma and Francisco Botana
Paperback
Publication Date: 27/07/2015

Share This Book:

 
$88.95

Star Unfolding Polygons.- Volume Frameworks and Deformation Varieties.- Recent Advances in Real Geometric Reasoning.- The Relation Tool in GeoGebra.- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems.- Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons.- Extension of Simson-Wallace Theorem on Skew Quadrilaterals.- Current Status of the I2GATP Common Format.- On Flattenability of Graphs.- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams.- Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems.

ISBN:
9783319213613
9783319213613
Category:
Graphical & digital media applications
Format:
Paperback
Publication Date:
27-07-2015
Language:
English
Publisher:
Springer
Country of origin:
United States
Dimensions (mm):
235x155mm
Weight:
2.99kg

Click 'Notify Me' to get an email alert when this item becomes available

Reviews

Be the first to review Automated Deduction in Geometry.