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
|
|
|
|
|