1:30 PM-3:30 PM
Hibiscus & Ulima (Salon 3 & 4)
The goal of computational topological dynamics is to provide a numerical approach to the study of dynamical systems by topological tools. Topological methods lead to relatively inexpensive algorithms and provide stable results. With additional computational effort the results may be turned into computer assisted proofs. The methods involved include algebraic topology, Conley and fixed point indices and rigorous numerical analysis. The speakers in this minisymposium will concentrate on algorithms computing homology, enclosing unstable manifolds and enclosing solutions of differential equations. They will present concrete applications in dynamics.
Organizer: Marian Mrozek