C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automated Deduction in Geometry
1996
2002
2007
2013
1996
2013
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
Dominique Michelucci
What Is a Line ?
Automated Deduction in Geometry
(2010)
Dominique Michelucci
Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry.
Automated Deduction in Geometry
(2010)
Pedro Quaresma
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP).
Automated Deduction in Geometry
(2010)
Yu Zou
,
Jingzhong Zhang
Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method.
Automated Deduction in Geometry
(2010)
Sana Stojanovic
,
Vesna Pavlovic
,
Predrag Janicic
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs.
Automated Deduction in Geometry
(2010)
Phil Scott
,
Jacques D. Fleuriot
An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time.
Automated Deduction in Geometry
(2010)
Jacques D. Fleuriot
Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL.
Automated Deduction in Geometry
(2010)
Fadoua Ghourabi
,
Tetsuo Ida
,
Asem Kasem
Proof Documents for Automated Origami Theorem Proving.
Automated Deduction in Geometry
(2010)
Michael Gerhäuser
,
Alfred Wassermann
Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System.
Automated Deduction in Geometry
(2010)
Susanne Apel
,
Jürgen Richter-Gebert
Cancellation Patterns in Automatic Geometric Theorem Proving.
Automated Deduction in Geometry
(2010)
Daniel Lichtblau
The Midpoint Locus of a Triangle in a Corner.
Automated Deduction in Geometry
(2010)
Laurent Fuchs
,
Laurent Théry
A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry.
Automated Deduction in Geometry
(2010)
Pavel Pech
On One Method of Proving Inequalities in Automated Way.
Automated Deduction in Geometry
(2010)
2008
Gerald Bourgeois
,
Sébastien Orange
Dynamical Systems of Simplices in Dimension Two or Three.
Automated Deduction in Geometry
(2008)
Deepak Kapur
,
Manfred Minimair
Multivariate Resultants in Bernstein Basis.
Automated Deduction in Geometry
(2008)
Fernando San Segundo
,
J. Rafael Sendra
Offsetting Revolution Surfaces.
Automated Deduction in Geometry
(2008)
Zheng Ye
,
Shang-Ching Chou
,
Xiao-Shan Gao
An Introduction to Java Geometry Expert - (Extended Abstract).
Automated Deduction in Geometry
(2008)
Heinz Kredel
Unique Factorization Domains in the Java Computer Algebra System.
Automated Deduction in Geometry
(2008)
Zhenbing Zeng
,
Liangyu Chen
On the Heilbronn Optimal Configuration of Seven Points in the Square.
Automated Deduction in Geometry
(2008)
Benjamin Grégoire
,
Loïc Pottier
,
Laurent Théry
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving.
Automated Deduction in Geometry
(2008)
Dominique Michelucci
,
Christoph Fünfzig
Linear Programming for Bernstein Based Solvers.
Automated Deduction in Geometry
(2008)
Xiaoyu Chen
,
Ying Huang
,
Dongming Wang
On the Design and Implementation of a Geometric Knowledge Base.
Automated Deduction in Geometry
(2008)
Nicolas Magaud
,
Julien Narboux
,
Pascal Schreck
Formalizing Projective Plane Geometry in Coq.
Automated Deduction in Geometry
(2008)
Aless Lasaruk
,
Thomas Sturm
Automatic Verification of the Adequacy of Models for Families of Geometric Objects.
Automated Deduction in Geometry
(2008)
volume 4869, 2007
Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
Automated Deduction in Geometry
4869 (2007)
2006
Robert H. Lewis
,
Evangelos A. Coutsias
Algorithmic Search for Flexibility Using Resultants of Polynomial Systems.
Automated Deduction in Geometry
(2006)
Julien Narboux
Mechanical Theorem Proving in Tarski's Geometry.
Automated Deduction in Geometry
(2006)
Predrag Janicic
,
Pedro Quaresma
Automatic Verification of Regular Constructions in Dynamic Geometry Systems.
Automated Deduction in Geometry
(2006)
Lu Yang
,
Zhenbing Zeng
Constructing a Tetrahedron with Prescribed Heights and Widths.
Automated Deduction in Geometry
(2006)
Pavel Pech
On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons.
Automated Deduction in Geometry
(2006)
Daniel Lichtblau
Cylinders Through Five Points: Complex and Real Enumerative Geometry.
Automated Deduction in Geometry
(2006)
Peter Lebmeir
,
Jürgen Richter-Gebert
Recognition of Computationally Constructed Loci.
Automated Deduction in Geometry
(2006)
Philip Todd
Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System.
Automated Deduction in Geometry
(2006)
Xiaoyu Chen
,
Dongming Wang
Towards an Electronic Geometry Textbook.
Automated Deduction in Geometry
(2006)
volume 3763, 2006
Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Automated Deduction in Geometry
3763 (2006)