Pontevedra

Schedule




Sunday, September 21

  • 16:30 - 18:30
    Registration (in the lobby of the hosting hotel Yi(4) Fu(1) Lou (2))


    Monday, September 22

  • 9:00 - 9:10
    Opening

  • 9:10 - 10:10
    INVITED TALK: Issues in Geometry Theorem Proving
    Shang-Ching Chou

  • 10:10-10:30
    Tea break

  • 10:30 - 11:05
    An Introduction to Java Geometry Expert
    Zheng Ye, Shang-Ching Chou and Xiao-Shan Gao

  • 11:05 - 11:40
    Closed formulae for distance functions involving ellipses
    Fernando Etayo, Laureano Gonzalez-Vega, Gema R. Quintana and Wenping Wang

  • 11:40 - 12:15
    Geometric constraint graphs decomposition based on computing graph circuits
    Robert Joan-Arinyo, Marta Tarrés-Puertas and Sebastián Vila-Marta

  • 12:15 - 14:00
    Lunch

  • 14:00 - 14:35
    On the Design and Implementation of a Geometric Knowledge Base
    Xiaoyu Chen, Ying Huang and Dongming Wang

  • 14:35 - 15:10
    Offsetting Revolution Surfaces
    Fernando San Segundo and Rafael Sendra

  • 15:10 - 15:30
    Tea break

  • 15:30 - 16:05
    Knowledge representation and reasoning for elementary geometry on ontology
    Xiuqin Zhong, Jun Nie and Wenyuan Wu

  • 16:05 - 16:40
    Symmetry and singularity in systems of geometric equations
    John Owen and Stephen Power

  • 16:40 - 16:50
    Tea break

  • 16:50 - 17:25
    Multivariate Greatest Common Divisors in the Java Computer Algebra System
    Heinz Kredel

  • 18:00
    Dinner


    Tuesday, September 23

  • 9:00 - 10:00
    INVITED TALK: Models for Computational Origami
    Tetsuo Ida

  • 10:00 - 10:20
    Tea break

  • 10:20 - 10:55
    Formalizing Projective Plane Geometry in Coq
    Nicolas Magaud, Julien Narboux and Pascal Schreck

  • 10:55 - 11:30
    Geometry Theorem Proving by Groebner Bases -- Algebraic Factoring Free Approach
    Shuichi Moritsugu and Chisato Arai

  • 11:30 - 13:00
    Lunch

  • Afternoon
    Tourism + Banquet


    Wednesday, September 24

  • 9:00 - 9:35
    Deciding the Nonnegativity of Multivariate Polynomials without Cell-Decomposition
    Lu Yang

  • 9:35 - 10:10
    Automatic Verification of the Adequacy of Models for Families of Geometric Objects
    Aless Lasaruk, Rene Schoene and Thomas Sturm

  • 10:10 - 10:30
    Tea break

  • 10:30 - 11:05
    Explicit classification of the 9 first Haas parametric systems
    Guillaume Moroz and Fabrice Rouillier

  • 11:05 - 11:40
    Solving semi-algebraic systems with radicals
    Rong Xiao

  • 11:40 - 11:50
    Tea break

  • 11:50 - 12:25
    Linear Programming for Interval Newton Solvers - Extended abstract on a work in progress
    Dominique Michelucci

  • 12:25 - 14:00
    Lunch

  • 14:00 - 14:35
    Computer Aided Proof in Classical Differential Geometry using a Symbolic Geometry System with Undetermined Functions
    Philip Todd

  • 14:35 - 15:10
    Defining a framework to deduce incidence theorems in tropical geometry
    Luis Tabera

  • 15:10 - 15:30
    Tea break

  • 15:30 - 16:05
    A Proof to the Conjecture on the Heilbronn Configuration of Seven Points in the Square
    Zhenbing Zeng and Liangyu Chen

  • 16:05 - 16:40
    Algorithms for Proving Radical Inequality
    Meijing Shan and Zhongqin Bi

  • 18:00
    Dinner

  •