Automated Deduction in Geometry  9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /  [electronic resource] : 
edited by Tetsuo Ida, Jacques Fleuriot. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2013. 
 - 1 online resource (X, 193 p. 55 ill.) 
 - Lecture Notes in Computer Science,  7993  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642406720 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Mathematical logic.<br/>Computer science--Mathematics.<br/>Artificial intelligence.<br/>Computer graphics.