An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs. - Irmina Walawska; Daniel Wilczak (Appl. Math. Comput., 2016)

Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems. - Irmina Walawska; Daniel Wilczak (Commun. Nonlinear Sci. Numer. Simul., 2019)