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…