Skip to main content
SpringerLink
Log in
Book cover

Automated Deduction in Geometry

8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Pascal Schreck

    1. LSIIT, Pôle API, Boulevard Sébastien Brant, Illkirch Cédex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Julien Narboux

    1. LSIIT, Pôle API, Boulevard Sébastien Brant, Illkirch Cédex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jürgen Richter-Gebert

    1. Technische Universität München, Zentrum Mathematik (M10), Lehrstuhl für Geometrie und Visualisierung, Garching, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • High quality selected papers
  • Unique visibility
  • State of the art reserach

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6877)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: ADG 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Download chapter PDF

  2. Cancellation Patterns in Automatic Geometric Theorem Proving

    • Susanne Apel, Jürgen Richter-Gebert
    Pages 1-33

  3. Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL

    • Jacques Fleuriot
    Pages 34-50

  4. A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry

    • Laurent Fuchs, Laurent Théry
    Pages 51-67

  5. Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System

    • Michael Gerhäuser, Alfred Wassermann
    Pages 68-77

  6. Proof Documents for Automated Origami Theorem Proving

    • Fadoua Ghourabi, Tetsuo Ida, Asem Kasem
    Pages 78-97

  7. The Midpoint Locus of a Triangle in a Corner

    • Daniel Lichtblau
    Pages 98-117

  8. Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry

    • Dominique Michelucci
    Pages 118-131

  9. What Is a Line ?

    • Dominique Michelucci
    Pages 132-151

  10. On One Method of Proving Inequalities in Automated Way

    • Pavel Pech
    Pages 152-168

  11. Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)

    • Pedro Quaresma
    Pages 169-181

  12. An Investigation of Hilbert’s Implicit Reasoning through Proof Discovery in Idle-Time

    • Phil Scott, Jacques Fleuriot
    Pages 182-200

  13. A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs

    • Sana Stojanović, Vesna Pavlović, Predrag Janičić
    Pages 201-220

  14. Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method

    • Yu Zou, Jingzhong Zhang
    Pages 221-258

  15. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Automated Deduction in Geometry

Keywords

About this book

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010.
The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. Topics addressed by the papers are incidence geometry using some kind of combinatoric argument; computer algebra; software implementation; as well as logic and proof assistants.

Editors and Affiliations

  • LSIIT, Pôle API, Boulevard Sébastien Brant, Illkirch Cédex, France

    Pascal Schreck, Julien Narboux

  • Technische Universität München, Zentrum Mathematik (M10), Lehrstuhl für Geometrie und Visualisierung, Garching, Germany

    Jürgen Richter-Gebert

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation