Schedule

August 31st

11.00 - 11.30
Coffe break
11.30 - 12.00
Geometric Factorization and Theorem Completion Using Bracket Algebras
Hongbo Li

12.00 - 12.30
Mechanical Theorem Proving in Tarski's Geometry
Julien Narboux

12.30 - 13.00
On Using OpenMath for Representing Dynamic Geometry Constructions
Jesús Escribano, Miguel Abánades, José Valcarce and Francisco Botana

13.00 - 13.30
Solving 3D Quasi-Decomposable Geometric Constraint Systems
Fabre Arnaud and Pascal Schreck

13.30 - 15.30:
Lunch break
15.30 - 16.00
Cylinders Through Five Points: Complex and Real Enumerative Geometry
Daniel Lichtblau
16.00 - 16.30
Recognition of computationally constructed loci
Peter Lebmeir and Jürgen Richter-Gebert
16.30 - 17.00
Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
Philip Todd

17.30 - 18.00
Towards an Electronic Geometry Textbook
Xiaoyu Chen and Dongming Wang

18.00 - 18.30
Classical versus Computer Methods of Solving Problems in Geometry
Pavel Pech

9.00 - 9.30
Geometry Explorer: A Tool for Generating Diagrammatic Full-Angle Method Proofs
Sean Wilson and Jacques D. Fleuriot
9.30 - 10.00
Geometric Constraint Handling in GOOL
Tielin Liang and Dongming Wang

10.00 - 10.30
Proving some 3D-Geometry Theorems with a Constructive Maple Package for Automatic Theorem Proving and Discovery
Eugenio Roanes-Macías and Eugenio Roanes-Lozano
10.30 - 11.00
Coffee Break
11.00 - 11.30
The Moment of Truth in Automatic Theorem Proving in Elementary
Geometry
Carlos Beltrán, Giorgio Dalzotto and Tomás Recio
11.30 - 12.00
The Technique of Conjugate Ratio for Geometric Theorem Proving
Tang Ling

12.00 - 12.30
Interrogating Witnesses for Geometric Constraints Solving
David Ménegaux, Dominique Michelucci and Sebti Foufou

12.30 - 13.00
Benchmarks for Symbolic-Dynamic Geometry Environments
Thomas Gawlick

13.30 - 15.30
Lunch break
16.00 - 23.00
Visit to Santiago de Compostela and gala dinner

September 2nd
9.30 - 10.30
Plenary talk
Martin Peternell
10.30 - 11.00
Orthogonality Constraints on Vectors in k Dimensions
John C. Owen
11.00 - 11.30
Coffee Break
11.30 - 12.00
Automatic Verification of Regular Constructions in Dynamic
Geometry Systems
Predrag Janicic and Pedro Quaresma
12.00 - 12.30
A Spatial Geometric Constraint Problem Solved by Invariant Method
Lu Yang and Zhenbing Zeng

12.30 - 13.00
On the Mechanization of the Proof of Hessenberg's Theorem
Marc Bezem and Dimitri Hendriks
13.00 - 13.30
Algorithmic Search for Flexibility using Resultants of Polynomial Systems
Robert Lewis and E. A. Coutsias