11 citations · 11 across the 1 of their papers we have counts for
2 papers
math.DS2019★ 11 cited
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…
math.NA2015
An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
Irmina Walawska, Daniel Wilczak
We propose a new algorithm for computing validated bounds for the solutions to the first order variational equations associated to ODEs. These validated solutions are the kernel of…