8. ADG 2010: Munich, Germany

Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (Eds.): Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6877 Springer 2011, ISBN 978-3-642-25069-9

Susanne Apel, Jürgen Richter-Gebert:
Cancellation Patterns in Automatic Geometric Theorem Proving. 1-33
Jacques D. Fleuriot:
Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL. 34-50
Laurent Fuchs, Laurent Théry:
A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry. 51-67
Michael Gerhäuser, Alfred Wassermann:
Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System. 68-77
Fadoua Ghourabi, Tetsuo Ida, Asem Kasem:
Proof Documents for Automated Origami Theorem Proving. 78-97
Daniel Lichtblau:
The Midpoint Locus of a Triangle in a Corner. 98-117
Dominique Michelucci:
Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry. 118-131
Dominique Michelucci:
What Is a Line ? 132-151
Pavel Pech:
On One Method of Proving Inequalities in Automated Way. 152-168
Pedro Quaresma:
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP). 169-181
Phil Scott, Jacques D. Fleuriot:
An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time. 182-200
Sana Stojanovic, Vesna Pavlovic, Predrag Janicic:
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs. 201-220
Yu Zou, Jingzhong Zhang:
Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method. 221-258

Last update Tue May 22 03:55:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page