image1
Special Session

Computational Topology and Geometry
http://www.jssac.org/Conference/ACA/comdve.html
image2

in  Applications of Computer Algebra (ACA'2005)
July 31 - August 3, 2005
Nara Women's University
Nara city, Nara prefecture, 630-8506 JAPAN


Session organizers

Abstract and motivation

List of Speakers

Conference Proceedings

Important Dates



Session Organizers:

Dmytro Chibisov

Victor Ganzha

Ernst W. Mayr

Lehrstuhl für Effiziente Algorithmen
Institut für Informatik
Technische Universität München
Boltzmannstr. 3
D-85748 Garching


Session Abstract and Motivation:


The session is devoted to the algorithmic aspects and applications of computer algebra in topological and geometric modeling and computing. Industrial applications of computer graphics and computer vision, robotics,  computer aided geometric design (CAGD), computer aided manufacturing (CAM), nanotechnology, molecular biology, computer assisted surgery and some others require efficient and robust geometric algorithms. Many computational problems in these areas can be formulated using algebraic constraints, which have to be solved efficiently both in time and space. However, research in this field is very much in progress, and many problems remain open.

The goal of this forum is to bring together pure and applied mathematicians as well as computer scientists and engineers who develop or use symbolic computational methods and systems,  to exchange ideas and views and present research results concerning theoretical foundations of symbolic algorithms as well as recent geometric applications of computer algebra in science and industry.


Possible topics for this session include (but are not limited to):
  • Algorithms for algebraic and semi-algebraic sets
  • Quantifier elimination in geometry
  • Computational homology
  • Morse theory
  • Algorithms in differential geometry
  • Symbolic-numerical methods for curves/surfaces parameterization,implicitization and resolution of singularities
  • Geometric constraint solving
  • Motion planning 
  • Clifford Algebras
  • Dynamic geometry
  • Grid generation
  • Complexity considerations
  • Applications in 
    •  Computer graphics 
    •  Computer vision 
    •  CAGD   
    •  CAM    
    •  Robotics    
    •  Medical applications 
    •  Molecular biology
    •  Nanotechnology
    •  ...


                






                                                      


Time-schedule:


1 Aug, 
13:00-13:30   
T. Bayer
Technische Universität München, Germany
Computing the Stratification of Actions of Compact Lie Groups
Abstract: [PDF]



1 Aug,
13:30-14:00
J.-S. Cheng, X.-Sh. Gao and M. Li
Institute of System Science, Academia Sinica, Beijing, China
Determining the Topology of Real Algebraic Surfaces
Abstract: [PDF]



1 Aug,
14:30-15:00
D. Chibisov
Technische Universitaet Muenchen, Germany
On the Construction of Robot Navigation Functions on Semi-Algebraic Sets Abstract: [PDF]



1 Aug,
15:00-15:30
R. González-Díaz, B. Medrano, P. Real,
J. Sánchez Peláez
Universidad de Sevilla, Spain
Understanding Volumens from an Algebraic-Topological Persepctive
Abstract: [PDF]



1 Aug,
15:30-16:00
J. Keyser, K. Ouchi
Texas A&M University, USA
Detecting Degeneracies in Robust Geometric Modeling
Abstract: [PDF]


1 Aug,
16:00-16:30
S. Moritsugu
University of Tsukuba, Japan
Solving Cubic Equations by ORIGAMI
Abstract: [PDF]



1 Aug,
16:30-17:00
D. Wang, L. Lin
Academy of Mathematics and System Sciences, Beijing, China
Automatic Discovering of Geometric Theorems by Computing Groebner Bases with Parameters
Abstract: [PDF]

1 Aug,
17:00-17:30
T. Ida
University of Tsukuba, Japan
Origami Construction of a Morley's Triangle with
Automated Proof
Abstract: [PDF]




If you are interested in giving a talk in this session please send the title and abstract of your talk to Dmytro Chibisov, Victor Ganzha and  Ernst W. Mayr by June 15, 2005 (Wed).


Important Dates:  

Deadline for submission of abstract: June 15, 2005 (Wed) (extended).



Conference Procceedings:

The proceedings containing abstracts of all the talks presented at the ACA'05 is planned to be published before the Conference. Furthermore, we plan to propose publishing a special issue of the Journal of Symbolic Computation on "Applications of Computer Algebra" after the Conference that will contain selected papers presented at ACA'05

 
Applications of Computer Algebra in Geomety (related web-sites):

Maple Application Center (Engineering, Mathematics->Geometry)
Mathematica in Engineering





Dmytro Chibisov, Victor Ganzha and Ernst W. Mayr, 27.05.2005