Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems

Irmina Walawska, Daniel Wilczak

We propose a general framework for computer-assisted verification of the presence of symmetry breaking, period-tupling and touch-and-go bifurcations of symmetric periodic orbits fo…