Donald Woukeng, Damian Sadowski, Jakub Leskiewicz, Michal Lipinski, Tomasz Kapela. Rigorous computation in dynamics based on topological methods for multivector fields. J. Appl. Comput. Topol., 8(4):875-908, September 2024. [doi]
Abstract is missing.