Automated Deduction in Geometry

Keyphrases

Publications

volume 7993, 2013

Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers Automated Deduction in Geometry 7993 (2013)

2012

Pascal Mathis, Pascal Schreck
Equation Systems with Free-Coordinates Determinants. Automated Deduction in Geometry (2012)
Michael Beeson
Proof and Computation in Geometry. Automated Deduction in Geometry (2012)
Shuichi Moritsugu
Extending the Descartes Circle Theorem for Steiner n-Cycles. Automated Deduction in Geometry (2012)
Umair Siddique, Vincent Aravantinos, Sofiène Tahar
On the Formal Analysis of Geometrical Optics in HOL. Automated Deduction in Geometry (2012)
John Christopher Bowers, Ileana Streinu
Rigidity of Origami Universal Molecules. Automated Deduction in Geometry (2012)
Jing Yang, Dongming Wang, Hoon Hong
Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization. Automated Deduction in Geometry (2012)
Fadoua Ghourabi, Asem Kasem, Cezary Kaliszyk
Algebraic Analysis of Huzita's Origami Operations and Their Extensions. Automated Deduction in Geometry (2012)
Christophe Brun, Jean-François Dufourd, Nicolas Magaud
Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls. Automated Deduction in Geometry (2012)
Dongming Wang
Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management. Automated Deduction in Geometry (2012)
Ciprian Borcea, Ileana Streinu
Realizations of Volume Frameworks. Automated Deduction in Geometry (2012)
Sana Stojanovic
Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs. Automated Deduction in Geometry (2012)
Gabriel Braun, Julien Narboux
From Tarski to Hilbert. Automated Deduction in Geometry (2012)

volume 6877, 2011

Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers Automated Deduction in Geometry 6877 (2011)

volume 6301, 2011

Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers Automated Deduction in Geometry 6301 (2011)

2010