{"id":"arxiv/2603.21603","url":"https://arxiv.org/abs/2603.21603","tags":["math.DS"],"score":0,"title":"An algorithm to detect and rigorously verify blenders","domain":"math.DS","source":"arxiv","authors":["Andy Hammerlindl","Natalia McAlister","Warwick Tucker"],"reviews":0,"subject":"math.DS","summary":"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 algorithm to construct these sets of curves that requires only a rough approximation of the strong unstable direction in a prescribed region. Since our approach does not rely on precise data, such as the exact location of invariant manifolds or fixed points, it provides a systematic framework to verify blenders in explicit examples. Here, we apply this framework to rigorously verify that a family of three-dimensional…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-23","reactions":{}}