Cover Image

Computer-Assisted Proofs in Dynamical Systems: A Case Study of a Heteroclinic Orbit in the Shimizu--Morioka System

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hénot, Olivier, Takayasu, Akitoshi
Format:	Preprint
Published:	2026
Subjects:	Dynamical Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Cascades of Lorenz attractors in the Shimizu-Morioka model
by: Kazakov, Alexey, et al.
Published: (2025)

Global Continuation of Stable Periodic Orbits in Systems of Competing Predators
by: Church, Kevin E. M., et al.
Published: (2025)

Variational Construction of Homoclinic and Heteroclinic Orbits in the Planar Sitnikov Problem
by: Kajihara, Yuika, et al.
Published: (2025)

Heteroclinic Connections between Periodic Orbits in Planar Restricted Circular Three Body Problem - A Computer Assisted Proof
by: Wilczak, D., et al.
Published: (2002)

A Practical Guide to Rigorously Locate Periodic Orbits in Discrete Dynamics
by: Mozo, Lucía Alonso, et al.
Published: (2025)

From the Lagrange Triangle to the Figure Eight Choreography: Proof of Marchal's Conjecture
by: Calleja, Renato, et al.
Published: (2024)

Heteroclinic Dynamics in Network Dynamical Systems with Higher-Order Interactions
by: Bick, Christian, et al.
Published: (2023)

Continuation of Periodic Orbits in Conservative Hybrid Dynamical Systems and its Application to Mechanical Systems with Impulsive Dynamics
by: Raff, Maximilian, et al.
Published: (2024)

Memory Asymmetry Creates Heteroclinic Orbits to Nash Equilibrium in Learning in Zero-Sum Games
by: Fujimoto, Yuma, et al.
Published: (2023)

$C^{1}$-Stable-Manifolds for Periodic Heteroclinic Chains in Bianchi IX: Symbolic Computations and Statistical Properties
by: Buchner, Johannes
Published: (2025)

Computer-Assisted Proofs of Gap Solitons in Bose-Einstein Condensates
by: Ayala, Miguel, et al.
Published: (2025)

Computing Resilience Measures in Dynamical Systems
by: Morr, Andreas, et al.
Published: (2025)

Beyond Carleman Linearization of Nonlinear Dynamical System: Insights from a Case Study
by: Chen, Panpan, et al.
Published: (2025)

Designable Dynamical Systems for the Generalized Landau Scenario and the Nonlinear Complexification of Periodic Orbits
by: Herrero, R., et al.
Published: (2021)

Computing Chaotic Time-Averages from Few Periodic or Non-Periodic Orbits
by: Pughe-Sanford, Joshua L., et al.
Published: (2023)

Streams and Graphs of Dynamical Systems
by: De Leo, Roberto, et al.
Published: (2024)

Computer-Assisted Global Analysis for Vibro-Impact Dynamics: A Reduced Smooth Maps Approach
by: Bao, Lanjing, et al.
Published: (2024)

On Sets of Periodic Orbit Lengths in Finitely Presented Dynamical Systems
by: de Jong, Huub
Published: (2025)

Data-Driven Linearization of Dynamical Systems
by: Haller, George, et al.
Published: (2024)

A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
by: Duchesne, Gabriel William, et al.
Published: (2024)

Geometric Dynamical Systems
by: Haghighatdoost, Ghorbanali
Published: (2025)

Ensemble Reservoir Computing for Physical Systems
by: Nakamura, Yuma, et al.
Published: (2026)

Identification and Computation of Slow Manifolds Using the Isostable Coordinate System
by: Wilson, Dan
Published: (2025)

Can LLMs Write Mathematics Papers? A Case Study in Reservoir Computing
by: Hart, Allen G
Published: (2025)

Cislunar Resonant Transport and Heteroclinic Pathways: From 3:1 to 2:1 to L1
by: Kumar, Bhanu, et al.
Published: (2025)

Predictability of Observables of Dynamical Systems
by: Liu, Xinyu, et al.
Published: (2026)

Hyperdimensional Computing Provides a Programming Paradigm for Oscillatory Systems
by: Olin-Ammentorp, Wilkie
Published: (2023)

Conditions Implying Annular Chaos: Quantitative results and Computer Assisted Proofs
by: Capiński, M. J., et al.
Published: (2025)

A Method to Estimate a Neighborhood of a Periodic Orbit
by: Cavani, Mario
Published: (2025)

Characterization of Translation Bounded Measure Dynamical Systems and Positive Measure Dynamical Systems within the Spatial Processes
by: Sieron, Franziska
Published: (2025)

Local Trajectory Variation Exponent (LTVE) for Visualizing Dynamical Systems
by: Tsai, Yun Chen, et al.
Published: (2024)

Dynamical Systems on Compact Metrizable Groups
by: Xiao, Binghui
Published: (2024)

Induced Topological Pressure for Dynamical Systems
by: Ma, Wenhui, et al.
Published: (2025)

The Shadowing Properties Of Nonautonomous Dynamical System
by: An, Min
Published: (2024)

Discrete Dynamical Systems with Random Impulses
by: Kováč, J., et al.
Published: (2024)

On the Uniqueness of Participation Factors in Nonlinear Dynamical Systems
by: Xia, Tianwei, et al.
Published: (2024)

Random Dynamical Systems on the circle without a finite orbit
by: Malicet, Dominique, et al.
Published: (2025)

The Distributional Koopman Operator for Random Dynamical Systems
by: Oprea, Maria, et al.
Published: (2025)

Data-Driven Reduced Modeling of Delayed Dynamical Systems via Spectral Submanifolds
by: Abbasciano, Giacomo, et al.
Published: (2026)

Predicting System Dynamics of Universal Growth Patterns in Complex Systems
by: Hedayatifar, Leila, et al.
Published: (2025)