Computational Topology and Geometry

Dmytro Chibisov (chibisov@in.tum.de)
Victor Ganzha (ganzha@in.tum.de)
Ernst W. Mayr (mayr@in.tum.de)

Lehrstuhl für Effiziente Algorithmen
Institut für Informatik
Technische Universität München
Boltzmannstr. 3
D-85748 Garching
Fax: +49-89-289-17707

Aim and Scope
The session is devoted to the algorithmic aspects and applications of computer algebra in topological and geometric computing. The algebraic algorithms can be successfully applied in a various applications including, for example, computer graphics, robotics, computer aided geometric design (CAGD), computer aided manufacturing (CAM), computer assisted surgery, geometric theorem proving, etc.

The goal of this forum is to exchange ideas and views and present research results concerning both theoretical foundations and recent geometric applications in science and industry.

List of Talks
  1. Computing the Stratification of Actions of Compact Lie Groups
    by T. Bayer (Technische Universitaet Muenchen, Germany)

  2. Determining the Topology of Real Algebraic Surfaces
    by J.-S. Cheng, X.-Sh. Gao and M. Li
    (Institute of Systems Science, AMSS, Academia Sinica, Beijing, China)

  3. On the Construction of Robot Navigation Function on Semi-Algebraic Sets
    by D. Chibisov (Technische Universitaet Muenchen, Germany)

  4. Understanding Volumens from an Algebraic-Topological Perspective
    by R. Gonzalez-Diaz, B. Medrano, P. Real, J. Sanchez Pelaez
    (Universidad de Sevilla, Spain)

  5. Origami Construction of a Morley's Triangle with Automated Proof
    by T. Ida (University of Tsukuba, Japan)

  6. Solving Cubic Equations by ORIGAMI
    by S. Moritsugu
    (University of Tsukuba, Japan)

  7. Detecting Degeneracies in Robust Geometric Modeling
    by K. Ouchi
    (Texas A&M University, USA)

  8. Automatic Discovering of Geometric Theorems by Computing Groebner Bases with Parameters
    by D. Wang, L. Lin
    (Academy of Mathematics and Systems Sciences, Beijing, China)