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:

  1. Stability and bifurcation analysis of dynamical systems
  2. Construction and analysis of the structure of integral manifolds
  3. Non-Holonomic systems
  4. Invariants of symplectic mapping
  5. Symplectic integration of Hamiltonian systems
  6. Semi-numerical algorithms
  7. Symbolic dynamics
  8. Applications of computer algebra methods to Celestial Mechanics and stellar dynamics
  9. Specialized Computer algebra packages for Celestial Mechanics
  10. Analytical theories of celestial bodies
  11. Applications of computer algebra to the Few body problem
  12. Computer algebra software and special-purpose packages
  13. Topological structure of phase portraits and computer visualization

Talks

  1. 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)
  2. 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)
  3. 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)
  4. Analysis of Degenerate Solutions with Variational Equations
    (Victor Varin, Keldysh Institute of Applied Mathematics RAS, Moscow, Russia)
  5. 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)
  6. 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)
  7. 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)
  8. 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