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