Computer Algebra for Dynamical Systems and Celestial Mechanics
at ACA'2006
to be held June 26-29, 2006 in Varna, Bulgaria
Organizers:
Victor Edneral Moscow State University, Russia
Aleksandr Myllary University of Turku, Finland
Nikolay Vassiliev Steklov Institute of Mathematics at St.Petersburg, Russia
Overview:
Celestial Mechanics and Dynamical Systems theory are traditional fields for computer algebra applications.
This session is intended to discuss Computer Algebra methods and modern algorithms in the study of general
continuous and discrete Dynamical Systems, Celestial Mechanics, Stellar dynamics and some related areas of
science and engineering. This session aims at the exchange of recent research about computer algebra
methods and algorithms for dynamical system theory and Celestial Mechanics. In particular, the
following fields but not only are considered:
- Stability and bifurcation analysis of dynamical systems
- Construction and analysis of the structure of integral manifolds
- Non-Holonomic systems
- Invariants of symplectic mapping
- Symplectic integration of Hamiltonian systems
- Semi-numerical algorithms
- Symbolic dynamics
- Applications of computer algebra methods to Celestial Mechanics and stellar dynamics
- Specialized Computer algebra packages for Celestial Mechanics
- Analytical theories of celestial bodies
- Applications of computer algebra to the Few body problem
- Computer algebra software and special-purpose packages
- Topological structure of phase portraits and computer visualization
Talks
- Symbolic Dynamics in Equal-Mass Three-Body Problem
(A. Mylläri, University of Turku and Åbo Akademy University, Turku/Åbo, Finland
A. Martynova, St.Petersburg Forestry Academy, Russia
V. Orlov, St.Petersburg State University, Russia
A. Chernin, Moscow State University, Russia)
- Application of the Computer Algebra System in Investigation of
D-Stability of Matrices
(Larisa A. Burlakova, Institute of Systems Dynamics and Control Theory SB RAS, Irkutsk, Russia)
- Computer Algebra methods in Qualitative Analysis of Mechanical Systems
(Valentin Irtegov and Tatyana Titorenko, Institute of Systems Dynamics and Control Theory SB RAS, Irkutsk, Russia)
- Analysis of Degenerate Solutions with Variational Equations
(Victor Varin, Keldysh Institute of Applied Mathematics RAS, Moscow, Russia)
- Use of the Operational Calculus Approach in the
Environment of a Computer Algebra System
(Ivan Dimovski and Margarita Spiridonova, Institute of Mathematics and Informatics BAS, Sofia, Bulgaria)
- An Algorithm for PDE Consistency under Constraints
with an Application to Relativistic Cosmology
(Stephen M. Watt, Ontario Research Centre for Computer Algebra, University of Western Ontario, London, Canada)
- A Symbolic-Numerical Algorithm for Evaluating Matrix Elements Between
the Oblate Angular Spheroidal Functions and Their Derivatives by
a Parameter
(O. Chuluunbaatar, V.P. Gerdt, A.A. Gusev, V.A. Rostovtsev, V.N. Samoylov, T.V. Tupikova, S.I. Vinitsky,
Joint Institute for Nuclear Research, Dubna, Russia
M.S. Kaschiev, Institute of Mathematics and Informatics BAS, Sofia, Bulgaria)
- Exact Solutions of Completely Integrable Systems
and Linear ODE's Having Elliptic Function Coefficients
(N.A.Kostov, Institute of Electronics BAS, Sofia, Bulgaria)
Go to:
ACA'2006 main page
Conferences on Applications of Computer
Algebra main page