Automated Deduction in Geometry

9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

By: Tetsuo Ida (Editor), Jacques Fleuriot (Editor)

Write A Review

Paperback | 12 September 2013

At a Glance

Paperback
204 Pages

Dimensions(cm)
23.37 x 15.49 x 1.09

Paperback

$74.99

or 4 interest-free payments of $18.75 with

Ships in 5 to 7 business days

Proof and Computation in Geometry.- Automation of Geometry: Theorem Proving, Diagram.- Generation, and Knowledge Management.- Improving Angular Speed Uniformity by C1 Piecewise Reparameterization.- Extending the Descartes Circle Theorem for Steiner n-Cycles.- Equation Systems with Free-Coordinates Determinants.- Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls.- Realizations of Volume Frameworks.- Rigidity of Origami Universal Molecules.- Algebraic Analysis of Huzita's Origami Operations and Their Extensions.- On the Formal Analysis of Geometrical Optics in HOL.- Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs.

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 $0.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.