Hénot, O., & Takayasu, A. (2026). Computer-Assisted Proofs in Dynamical Systems: A Case Study of a Heteroclinic Orbit in the Shimizu--Morioka System.
Chicago-Zitierstil (17. Ausg.)Hénot, Olivier, und Akitoshi Takayasu. Computer-Assisted Proofs in Dynamical Systems: A Case Study of a Heteroclinic Orbit in the Shimizu--Morioka System. 2026.
MLA-Zitierstil (9. Ausg.)Hénot, Olivier, und Akitoshi Takayasu. Computer-Assisted Proofs in Dynamical Systems: A Case Study of a Heteroclinic Orbit in the Shimizu--Morioka System. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.