The Session on

Computer Algebra for Dynamical Systems and Celestial Mechanics

at the International Conference on Applications of Computer Algebra

ACA-2008

July 27-30, 2008, Linz, Austria

Tue, July 29	Time	Room B
	9:30 - 10:00	A modern, generic and object-oriented algebraic manipulation framework for Celestial Mechanics Francesco Biscani, Department of Astronomy, University of Padua, Italy
	10:00 - 10:30	Construction of periodic orbits and their regularity as approximation of invariant curves Corrado Falcolini, University of Roma Tre, Italy
	10:30 - 11:00	Coffee break
	11:00 - 11:30	Approximating center manifolds on a model for a Solar Sail Ariadna Farrés and Àngel Jorba, Departament de Matemàtica Aplicada i Anàlisi Universitat de Barcelona, Spain
	11:30 - 12:00	Planetary three-body problem with Poisson series processor K.V. Kholshevnikov, Sobolev Astronomical Institute, St.Petersburg State University, Russia, E.D. Kuznetsov, Astronomical Observatory, Ural State University, Russia
	12:00 - 13:30	Lunch
	13:30 - 14:30	Plenary Talk
	14:30 - 15:00	Coffee break
	15:00 - 15:30	Nekhoroshev estimates in a symplectic mapping model of the 1:1 resonance of the elliptic restricted three body problem Christoph Lhotka, Institute for Astronomy, University of Vienna, Austria
	15:30 - 16:00	PPKBZ9: Symbolic-numeric model in artificial satellite theory Juan F. San-Juan, Dept. Matemáticas y Computación, Universidad de La Rioja, Spain
	16:00 - 16:30	Analysis of dynamics for a satellite with gyros with the aid of the software LinModel Andrey V. Banshchikov, Institute for System Dynamicsand Control Theory, SB of RAS, Russia
	16:30 - 17:00	Break
	17:00 - 17:30	Dynamic visualization for computational dynamics Daniel Lichtblau, Wolfram Research, USA
	17:30 - 18:00	Symbolic creation of nilpotent normal forms: another point of view J. Mikram and F. Zinoun, University of Rabat and University of Meknès, Moroccan Kingdom
	18:00 - 18:30	Caustics in the Dynamical Systems with Two Degrees of Freedom A. Mylläri, University of Turku, Finland, T. Mylläri , Åbo Akademi University, Finland, A.Gusev , S. Vinitsky, Joint Institute for Nuclear Research, Dubna, Russia

Wed, July 30	Time	Room B
	9:00 - 9:30	On the automatic computation of high order variationals for the numerical integration of ODE by means of the Taylor method Àngel Jorba, Departament de Matemàtica Aplicada i Anàlisi Universitat de Barcelona, Spain
	9:30 - 10:00	On invariant manifolds of conservative systems with 3-rd and 6-th degree first integrals Valentine D. Irtegov, Tatiana N. Titorenko, Institute for Systems Dynamics and Control Theory, SB of RAS, Russia
	10:00 - 10:30	On gyroscopic stabilization with the singular matrix of gyroscopic forces Larisa A. Burlakova, Institute of Systems Dynamics and Control Theory, SB of RAS, Russia
	10:30 - 11:00	Coffee break
	11:00 - 11:30	Calculation of the asymptotic expansion of continuous spectrum solutions of the two-dimentional boundary problem O. Chuluunbaatar, V.P. Gerdt, A.A. Gusev, S.I. Vinitsky, Joint Institute for Nuclear Research, Dubna, Russia, P.M.Krassovitskiy, Institute of Nuclear Physics, Almaty, Kazakhstan
	11:30 - 12:00	On Complexity of Series Manipulations in Celestial Mechanics Nikolay Vassiliev, Steklov Institute of Mathematics at St. Petersburg, Russia
	12:00 - 13:30	Lunch