Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers - researchr publication

researchr

You are not signed in
Sign in
Sign up

Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert, editors, Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers. Volume 6877 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Conference: adg2011

Abstract is missing.

Cancellation Patterns in Automatic Geometric Theorem ProvingSusanne Apel, Jürgen Richter-Gebert. 1-33 [doi]

Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOLJacques D. Fleuriot. 34-50 [doi]

A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective GeometryLaurent Fuchs, Laurent Théry. 51-67 [doi]

Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry SystemMichael Gerhäuser, Alfred Wassermann. 68-77 [doi]

Proof Documents for Automated Origami Theorem ProvingFadoua Ghourabi, Tetsuo Ida, Asem Kasem. 78-97 [doi]

The Midpoint Locus of a Triangle in a CornerDaniel Lichtblau. 98-117 [doi]

Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective GeometryDominique Michelucci. 118-131 [doi]

What Is a Line ?Dominique Michelucci. 132-151 [doi]

On One Method of Proving Inequalities in Automated WayPavel Pech. 152-168 [doi]

Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)Pedro Quaresma. 169-181 [doi]

An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-TimePhil Scott, Jacques D. Fleuriot. 182-200 [doi]

A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable ProofsSana Stojanovic, Vesna Pavlovic, Predrag Janicic. 201-220 [doi]

Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point MethodYu Zou, Jingzhong Zhang. 221-258 [doi]

runs on WebDSL