University of Florida ADG 2004

General Info
Home
Important Dates
Organizing Committee
Submission of Papers
Program
Schedule
Invited Talks
Contributed Talks
Registration
Online Registration
Payment Information
Financial Support
Registered Participants
Local Information
Location
Lodging
Travelling
Social Events / Tourism
Links
ADG 2002
ADG 2000
ADG 1998
ADG 1996
Bibliography

Tentative Schedule

    Email white at math dot ufl dot edu if changes are needed. Note: speakers are not indicated.
  • 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