Pontevedra1 ADG2006

General Information
Home
Important Dates
Program Committee
Organizing Committee
Call for Papers
Program
Schedule
Invited Talks
Contributed Talks
Registration
Registration
Payment Info
Financial Support
Registered Participants
Local Information
Location / Practical Info
Lodging
Travelling
Social Events / Tourism
Links
ADG 2004
ADG 2002
ADG 2000
ADG 1998
ADG 1996
Bibliography

Contributed Talks

  • Geometric Factorization and Theorem Completion Using Bracket Algebras. [+]
    Hongbo Li.

  • Mechanical Theorem Proving in Tarski's Geometry. [+]
    Julien Narboux.

  • Automatic Verification of Regular Constructions in Dynamic Geometry Systems. [+]
    Predrag Janicic and Pedro Quaresma.

  • Solving 3D Quasi-Decomposable Geometric Constraint Systems. [+]
    Fabre Arnaud and Pascal Schreck.

  • Cylinders Through Five Points: Complex and Real Enumerative Geometry. [+]
    Daniel Lichtblau.

  • Recognition of computationally constructed loci. [+]
    Peter Lebmeir and Jürgen Richter-Gebert.

  • Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System. [+]
    Philip Todd.

  • Towards an Electronic Geometry Textbook
    Xiaoyu Chen and Dongming Wang.

  • Classical versus Computer Methods of Solving Problems in Geometry. [+]
    Pavel Pech.

  • Geometry Explorer: A Tool for Generating Diagrammatic Full-Angle Method Proofs. [+]
    Sean Wilson and Jacques D. Fleuriot.

  • Geometric Constraint Handling in GOOL
    Tielin Liang and Dongming Wang.

  • On Using OpenMath for Representing Dynamic Geometry Constructions. [+]
    J. Escribano, M. Abanades, J. Valcarce and F. Botana.

  • The Moment of Truth in Automatic Theorem Proving in Elementary Geometry
    Carlos Beltrán, Giorgio Dalzotto and Tomás Recio.

  • The Technique of Conjugate Ratio for Geometric Theorem Proving. [+]
    Tang Ling.

  • Interrogating Witnesses for Geometric Constraints Solving. [+]
    David Ménegaux, Dominique Michelucci and Sebti Foufou.

  • Benchmarks for Symbolic-Dynamic Geometry Environments
    Thomas Gawlick.

  • Orthogonality Constraints on Vectors in k Dimensions. [+]
    John C. Owen.

  • Proving some 3D-Geometry Theorems with a Constructive Maple Package for Automatic Theorem Proving and Discovery
    Eugenio Roanes-Macías and Eugenio Roanes-Lozano.

  • A Spatial Geometric Constraint Problem Solved by Invariant Method
    Lu Yang and Zhenbing Zeng.

  • On the Mechanization of the Proof of Hessenberg's Theorem. [+]
    Marc Bezem and Dimitri Hendriks.

  • Algorithmic Search for Flexibility using Resultants of Polynomial Systems. [+]
    Robert Lewis and E. A. Coutsias