20 citations · 26 across the 9 of their papers we have counts for
3 papers · 1 filter
A computer-assisted proof of robust transitivity
Marisa Cantarino, Andy Hammerlindl, Warwick Tucker
We present computer-assisted proofs of partial hyperbolicity, existence of a blender and robust transitivity for diffeomorphisms on closed manifolds. These proofs are implemented f…
An algorithm to detect and rigorously verify blenders
Andy Hammerlindl, Natalia McAlister, Warwick Tucker
We present a characterisation of blenders based on mapping properties of certain sets of curves that can be rigorously verified by computer-assisted methods. We develop an algorith…
Darboux-type center conditions for families of planar polynomial vector fields
Yovani Villanueva, Warwick Tucker
We study the center-focus problem for planar polynomial vector fields, which can be viewed as a local version of Hilbert's 16th problem. Based on a Lyapunov function approach, we e…