Get Free Shipping on orders over $79
Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers - Tetsuo Ida

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)

Paperback | 12 September 2013

At a Glance

Paperback


$74.99

or 4 interest-free payments of $18.75 with

 or 

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.

More in Artificial Intelligence

The Tech Coup : How to Save Democracy from Silicon Valley - Marietje Schaake
Creative Machines : AI, Art & Us - Maya Ackerman

RRP $57.95

$44.75

23%
OFF
The Shortest History of AI - Toby Walsh

RRP $27.99

$22.75

19%
OFF
Life 3.0 : Being Human in the Age of Artificial Intelligence - Max Tegmark
Ideal Subjects Volume 76 : The Abstract People of AI - Olga Goriunova

RRP $270.00

$235.75

13%
OFF
Co-Intelligence : Living and Working with AI - Ethan Mollick

RRP $36.99

$29.75

20%
OFF
How We Learn : The New Science of Education and the Brain - Stanislas Dehaene
Current Trends in Automated Reasoning - Erika Bach
Handbook of Speech Recognition - Warren Hanna
Handbook of Reinforcement Learning - Todd Mcmullen