Schedule
(tentative) schedule of the Conference
- Thursday, Sept. 16
- Planar Generalized Stewart Platforms and their Direct Kinematics
Guifang Zhang, Xiaoshan Gao, Sept. 16, 9:00-9:30 - Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods
Dmytro Chibisov, Ernest W. Mayr, Sergey Pankratov, Sept. 16, 9:45-10:15 - Decidability in Dynamic Geometry
Britta M. Broser, Sept. 16, 10:30-11:00 - Computational Origami Construction of Heptagon
Judit Robu, Dorin Tepeneu, Tetsuo Ida, Hidekazu Takahashi, Bruno Buchberger, Sept. 16, 11:15-11:45 - Lunch break
- Folding Carpenter's Rules, Robot Arms, Proteins: a Combinatorial Approach
- Ileana Streinu, Sept. 16, 13:30-14:30
- Solving a Piano Mover's Problem with Symbolic Computation Tools
Lu Yang, Zhenbing Zeng, Sept. 16, 14:45-15:15 - Free time for outing
-
- Friday, Sept. 17
- Computations of area and radius of cyclic polygons given by length of sides
Pavel Pech, Sept. 17, 9:00-9:30 - Are all 3-connected Generic Constriant Configurations of Points on a Plane Non-radical
John Owen, S.C. Power, Sept. 17, 9:45-10:15 - A new methods of Solving Geometry Constrained Problems of Point-Plane Configuration in Euclidean Space
Xiang Xiaolin, Liu Wu, Chen Guangxi, Sept. 17, 10:30-11:00 - Towards a Geometric-Object-Oriented Language
Tielin Liang, Dongming Wang, 11:15-11:45 - Lunch break
- Solving minimal, wellconstrained 3D geometric constraint systems: combinatorial optimization of algebraic complexity
Meera Sitharam, Joerg Peters, Yong Zhou, Sept. 17, 13:45-14:15 - A Tractable, Approximate, Combinatorial 3D rigidity characerization
Meera Sitharam, Yong Zhou, Sept. 17, 14:30-15:00 - Coffee break
- nD Polyhedral Scene Analysis from Single 2D Line Drawings
Hongbo Li, Lina Zhao, Ying Chen, Quan Wang, Sept. 17, 15:30-16:00 - Implicitization of trigonometric planar bounday curves symbolic and hybrid methods
Daniel A. Lichtblau, Sept. 17, 16:15-16:45 - Solving Space Orthogonality Problems in a 2D Drawing
Pierre J. Mace, Dominique Michelucci, Sept. 17, 17:00-17:30 - Conference Dinner at the home of Neil White, Sept. 17, 19:00
-
- Saturday, Sept 18
- Ekhad' Plane Geometry Textbook as an Iconic Example of Future Math
Doron Zeilberger, Sept. 18, 9:00-10:00 - Calculating Convex Hulls of Semi-Algebraic Subsets of the Plane Symbolically
Christopher W. Brown, Sept. 18, 10:15-10:45 - Towards solving the dynamic geometry bottleneck via a symbolic approach
Francisco Botana, Tomas Recio, Sept. 18, 11:00-11:30 - Mechanical Theorem Proving in Computational Geometry
Laura I. Meikle, Jacques D. Fleuriot, Sept. 18, 11:45-12:15 - Lunch break
- Induced Incidences in the Projective Plane
Pascal Schreck, Dominique Michelucci, Jean-Paul Jurzak, Sept. 18, 13:45-14:15 - Proving Geometric Theorems by Partitioned-Parametric Grobner Bases
Xuefeng Chen, P. Li, L. Lin, Dingkang Wang, Sept. 18, 14:30-15:00 - Computational Differential Algebra: Characteristic Sets
Marina V. Kondratieva, Alexey I. Ovchinnikov Sept. 18, 15:15-15:45
