 |
Special
Session Computational Topology and Geometry http://www.jssac.org/Conference/ACA/comdve.html |
 |
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:
Session Abstract and Motivation:
Time-schedule:
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
July 31 - August 3, 2005
Nara Women's University
Nara city, Nara prefecture, 630-8506 JAPAN
| Session organizers |
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):
|
 
|
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