Международная конференция "Автоматическая дедукция в геометрии"

Профессор Dominique Michelucci для isicad.ru: ADG 2004, USA

16-18 сентября 2004 г. в Гейнсвилле, штат Флорида, прошла пятая международная конференция "Автоматическая дедукция в геометрии". Она была организована Нилом Уайтом (спасибо!) Ураганы Френсис, Айвен и Джейн не помешали проведению конференции.

АДГ-2004 стала хорошим поводом для общения ученых из различных сообществ: геометрические задачи удовлетворения ограничений (John Owen, Xiaoshan Gao, Meera Sitharam,...), геометрические обучающие программы (Britta Broser, Francisco Botana, Tomas Recio), компьютерная алгебра, комбинаторная жесткость (Ileana Streinu), комбинаторика (Doron Zeilberger) и т.д.

Были представлены доклады:

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. Бритта - один из разработчиков Cindarella.

Computational Origami Construction of Heptagon.
Judit Robu, Dorin Tepeneu, Tetsuo Ida, Hidekazu Takahashi, Bruno Buchberger. Семиугольник нельзя построить с помощью линейки и циркуля, но можно построить с помощью Оригами.

Folding Carpenter's Rules, Robot Arms, Proteins: a Combinatorial Approach.
Ileana Streinu. Псевдо-триангуляции и их применение в комбинаторной жесткости в 2D. См. 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. (организаторы следующей ADG - 2006 в Испании).

Mechanical Theorem Proving in Computational Geometry.
Laura I. Meikle, Jacques D. Fleuriot. Доказательство корректности Вычислительной Геометрии с помощью программы 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. (доклад представлен Xiaoshan Gao).

Несколько докладчиков из Китая не смогли прибыть на конференцию из-за проблем с визами. Вместо их докладов Timothy Havel представил доклад о координатно-независимых подходах, алгебре Grassman-Cayley, distance geometry.