Session II.1 - Computational Dynamics
Thursday, June 15, 17:00 ~ 17:30
Towards computer assisted proofs based on combinatorial multivector fields
Marian Mrozek
Jagiellonian University, Poland - This email address is being protected from spambots. You need JavaScript enabled to view it.
The family of strongly connected components of a directed graph constructed from a transversal cellular decomposition of a flow provides an algorithmic tool in the automated rigorous analysis of the gradient structure of a dynamical system. However, it is less helpful in the study of recurrent dynamics. A combinatorial multivector field may be viewed as a directed graph whose set of vertices is a topological space. In the talk I will present some recent results based on combinatorial multivector fields which indicate their potential in automated rigorous analysis of recurrent dynamics.