TY  - RPRT
TI  - Computer-Assisted Proofs in Dynamical Systems: A Case Study of a Heteroclinic Orbit in the Shimizu--Morioka System
AU  - Olivier Hénot
AU  - Akitoshi Takayasu
PY  - 2026
UR  - https://arxiv.org/abs/2605.07500
ID  - 2605.07500
ER  -