{"id":"arxiv/2605.07500","url":"https://arxiv.org/abs/2605.07500","tags":["math.DS"],"score":0,"title":"Computer-Assisted Proofs in Dynamical Systems: A Case Study of a Heteroclinic Orbit in the Shimizu--Morioka System","domain":"math.DS","source":"arxiv","authors":["Olivier Hénot","Akitoshi Takayasu"],"reviews":0,"subject":"math.DS","summary":"The radii polynomial approach is an a posteriori validation method based on the contraction of a quasi-Newton operator. We apply this strategy to give a computer-assisted proof of a transverse heteroclinic orbit in the Shimizu--Morioka system, validating the equilibria and eigenpairs, the local invariant manifolds via the parameterization method, and the connecting orbit via a boundary-value problem. For each subproblem we present a four-step procedure: $(i)$ zero-finding formulation, $(ii)$ approximate zero, $(iii)$ approximate inverse, and $(iv)$ bound estimates. This highlights the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-08","reactions":{}}