Rigorous computation in dynamics based on topological methods for multivector fields

Abstract Motivated by the theoretical results of Mrozek et al. (Commun Nonlinear Sci Numer Simul 108:106–226, 2022) we present an algorithmic construction of a transversal cellular decomposition for a planar ODE. We then use the associated combinatorial multivector field to algorithmically detect the existence of an isolated invariant set with the Conley index of a periodic orbit and admitting a combinatorial Poincaré section. This construction combined with the theoretical results of Mrozek et al. (2022) leads to a method for automatized computer assisted proofs of the existence of periodic solutions in ODE’s.