Rigorous computation in dynamics based on topological methods for multivector fields. - Donald Woukeng; Damian Sadowski; Jakub Leskiewicz; Michal Lipinski; Tomasz Kapela (J. Appl. Comput. Topol., 2024)