Профессор 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.