Automated Deduction in Geometry

Proof and Computation in Geometry.- Automation of Geometry: Theorem Proving, Diagram.- Generation, and Knowledge Management.- Improving Angular Speed Uniformity by C 1 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.