Contributed Talks
- Decidability in Dynamic Geometry
Britta M. Broser - Calculating Convex Hulls of Semi-Algebraic Subsets of the Plane Symbolically
Christopher W. Brown - Implicitization of trigonometric planar bounday curves symbolic and hybrid methods
Daniel A. Lichtblau - Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods
Dmytro Chibisov, Ernest W. Mayr, Sergey Pankratov - Towards solving the dynamic geometry bottleneck via a symbolic approach
Francisco Botana, Tomas Recio - Planar Generalized Stewart Platforms and their Direct Kinematics
Guifang Zhang, Xiaoshan Gao - nD Polyhedral Scene Analysis from Single 2D Line Drawings
Hongbo Li, Lina Zhao, Ying Chen, Quan Wang - Are all 3-connected Generic Constriant Configurations of Points on a Plane Non-radical
John Owen, S.C. Power - Computational Origami Construction of Heptagon
Judit Robu, Dorin Tepeneu, Tetsuo Ida, Hidekazu Takahashi, Bruno Buchberger - Mechanical Theorem Proving in Computational Geometry
Laura I. Meikle, Jacques D. Fleuriot - Solving a Piano Mover's Problem with Symbolic Computation Tools
Lu Yang, Zhenbing Zeng - Computational Differential Algebra: Characteristic Sets
Marina V. Kondratieva, Alexey I. Ovchinnikov - Solving minimal, wellconstrained 3D geometric constraint systems: combinatorial optimization of algebraic complexity
Meera Sitharam, Joerg Peters, Yong Zhou - A Tractable, Approximate, Combinatorial 3D rigidity characerization
Meera Sitharam, Yong Zhou - Induced Incidences in the Projective Plane
Pascal Schreck, Dominique Michelucci, Jean-Paul Jurzak - Computations of area and radius of cyclic polygons given by length of sides
Pavel Pech - Solving Space Orthogonality Problems in a 2D Drawing
Pierre J. Mace, Dominique Michelucci - Towards a Geometric-Object-Oriented Language
Tielin Liang, Dongming Wang - A new methods of Solving Geometry Constrained Problems of Point-Plane Configuration in Euclidean Space
Xiang Xiaolin, Liu Wu, Chen Guangxi - Proving Geometric Theorems by Partitioned-Parametric Grobner Bases
Xuefeng Chen, P. Li, L. Lin, Dingkang Wang
