Automated Deduction in Geometry

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

By: Francisco Botana (Editor), Pedro Quaresma (Editor)

Write A Review

Paperback | 27 July 2015

At a Glance

Paperback
192 Pages

Dimensions(cm)
15.5 x 23.4 x 14.3

Paperback

$64.99

or 4 interest-free payments of $16.25 with

or

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.