Fixed link :: http://isicad.net/events.php?id=3

Professor Dominique Michelucci for isicad.ru: ADG 2004, USA

The fifth International Workshop on Automated Deduction in Geometry (http://www.math.ufl.edu/~white/ADG2004.html) took place in Gainesville, Florida, USA during September 16-18, 2004. It was organized by Neil White (thanks). No problem due to the hurricane Frances, Ivan, Jane.

ADG 2004 was an opportunity to meet and discuss for scientists from different communities: geometric constraints solving (John Owen, Xiaoshan Gao, Meera Sitharam,...), geometric pedagogical softwares (Britta Broser, Francisco Botana, Tomas Recio), computer algebra, combinatorial rigidity (Ileana Streinu), combinatorics (Doron Zeilberger), etc

The talks were:

Planar Generalized Stewart Platforms and their Direct Kinematics.
Guifang Zhang, Xiaoshan Gao.

Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods.
Dmytro Chibisov, Ernest W. Mayr, Sergey Pankratov.

Decidability in Dynamic Geometry.
Britta M. Broser. Britta works on Cindarella.

Computational Origami Construction of Heptagon.
Judit Robu, Dorin Tepeneu, Tetsuo Ida, Hidekazu Takahashi, Bruno Buchberger. The heptagon is not ruler and compass constructible, but it is constructible with Origami.

Folding Carpenter's Rules, Robot Arms, Proteins: a Combinatorial Approach.
Ileana Streinu. A presentation of pseudo-triangulations, and its use in combinatorial rigidity in 2D. See http://www.cs.smith.edu/~streinu/Research/research.html.

Computations of area and radius of cyclic polygons given by length of sides.
Pavel Pech. Distance geometry.

Are all 3-connected Generic Constriant Configurations of Points on a Plane Non-radical.
John Owen, S.C. Power.

Towards a Geometric-Object-Oriented Language.
Tielin Liang, Dongming Wang.

Solving minimal, wellconstrained 3D geometric constraint systems: combinatorial optimization of algebraic complexity.
Meera Sitharam, Joerg Peters, Yong Zhou.

A Tractable, Approximate, Combinatorial 3D rigidity characterization.
Meera Sitharam, Yong Zhou.

Implicitization of trigonometric planar bounday curves symbolic and hybrid methods.
Daniel A. Lichtblau.

Solving Space Orthogonality Problems in a 2D Drawing.
Pierre J. Mace, Dominique Michelucci.

Ekhad' Plane Geometry Textbook as an Iconic Example of Future Math.
Doron Zeilberger.

Calculating Convex Hulls of Semi-Algebraic Subsets of the Plane Symbolically.
Christopher W. Brown.

Towards solving the dynamic geometry bottleneck via a symbolic approach.
Francisco Botana, Tomas Recio. (they organize the next ADG in 2006 in Spain).

Mechanical Theorem Proving in Computational Geometry.
Laura I. Meikle, Jacques D. Fleuriot. Proof of the correctness of Computational Geometry with the prover Isabelle.

Induced Incidences in the Projective Plane.
Pascal Schreck, Dominique Michelucci, Jean-Paul Jurzak.

Proving Geometric Theorems by Partitioned-Parametric Grobner Bases
Xuefeng Chen, P. Li, L. Lin, Dingkang Wang. (The talk was given by Xiaoshan Gao).

Several foreseen chinese speakers could not come because of visa problems. Instead Timothy Havel gives a talk about coordinates free approaches, Grassman Cayley algebra, distance geometry.