Rigorous Computations of Homoclinic Tangencies
From MaRDI portal
Publication:5309743
DOI10.1137/050626429zbMath1210.37008OpenAlexW2032339321MaRDI QIDQ5309743
Konstantin Mischaikow, Zin Arai
Publication date: 2 October 2007
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/230296d7cb84f9d84edaef3ddcacdc7c28ee0745
Index theory for dynamical systems, Morse-Conley indices (37B30) Computational methods for bifurcation problems in dynamical systems (37M20) Bifurcations connected with nontransversal intersection in dynamical systems (37G25)
Related Items
Recent development in rigorous computational methods in dynamical systems, Validated numerics for continuation and bifurcation of connecting orbits of maps, Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits, RIGOROUS VERIFICATION OF THE EXISTENCE OF TRANSVERSAL HOMOCLINIC ORBITS, Homology algorithm based on acyclic subspace, Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields, On loops in the hyperbolic locus of the complex Hénon map and their monodromies, Finite resolution dynamics, Boundary of the Horseshoe Locus for the Hénon Family, Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach, Numerical computation of orbits and rigorous verification of existence of snapback repellers, The Many Facets of Chaos
