Topological Approach to Rigorous Numerics of Chaotic Dynamical Systems with Strong Expansion of Error Bounds. - Marian Mrozek; Roman Srzednicki (Found. Comput. Math., 2010)

A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps. - Marian Mrozek; Roman Srzednicki; Frank Weilandt (SIAM J. Appl. Dyn. Syst., 2015)

Combinatorial vs. classical dynamics: Recurrence. - Marian Mrozek; Roman Srzednicki; Justin Thorpe; Thomas Wanner (Commun. Nonlinear Sci. Numer. Simul., 2022)