American Institute of Mathematical Sciences

Maciej J. Capiński, Emmanuel Fleurantin, J. D. Mireles James. Computer assisted proofs of two-dimensional attracting invariant tori for ODEs. Discrete and Continuous Dynamical Systems, 2020, 40 (12) : 6681-6707. doi: 10.3934/dcds.2020162

A. Aschwanden, A. Schulze-Halberg, D. Stoffer. Stable periodic solutions for delay equations with positive feedback - a computer-assisted proof. Discrete and Continuous Dynamical Systems, 2006, 14 (4) : 721-736. doi: 10.3934/dcds.2006.14.721

Chiara Caracciolo, Ugo Locatelli. Computer-assisted estimates for Birkhoff normal forms. Journal of Computational Dynamics, 2020, 7 (2) : 425-460. doi: 10.3934/jcd.2020017

Hans Koch. On the renormalization of Hamiltonian flows, and critical invariant tori. Discrete and Continuous Dynamical Systems, 2002, 8 (3) : 633-646. doi: 10.3934/dcds.2002.8.633

Maxime Breden, Jean-Philippe Lessard. Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs. Discrete and Continuous Dynamical Systems - B, 2018, 23 (7) : 2825-2858. doi: 10.3934/dcdsb.2018164

Thomas Wanner. Computer-assisted equilibrium validation for the diblock copolymer model. Discrete and Continuous Dynamical Systems, 2017, 37 (2) : 1075-1107. doi: 10.3934/dcds.2017045

István Balázs, Jan Bouwe van den Berg, Julien Courtois, János Dudás, Jean-Philippe Lessard, Anett Vörös-Kiss, JF Williams, Xi Yuan Yin. Computer-assisted proofs for radially symmetric solutions of PDEs. Journal of Computational Dynamics, 2018, 5 (1&2) : 61-80. doi: 10.3934/jcd.2018003

Piotr Zgliczyński. Steady state bifurcations for the Kuramoto-Sivashinsky equation: A computer assisted proof. Journal of Computational Dynamics, 2015, 2 (1) : 95-142. doi: 10.3934/jcd.2015.2.95

Denis G. Gaidashev. Renormalization of isoenergetically degenerate hamiltonian flows and associated bifurcations of invariant tori. Discrete and Continuous Dynamical Systems, 2005, 13 (1) : 63-102. doi: 10.3934/dcds.2005.13.63

Lorenzo Valvo, Ugo Locatelli. Hamiltonian control of magnetic field lines: Computer assisted results proving the existence of KAM barriers. Journal of Computational Dynamics, 2022  doi: 10.3934/jcd.2022002

Fuzhong Cong, Yong Li. Invariant hyperbolic tori for Hamiltonian systems with degeneracy. Discrete and Continuous Dynamical Systems, 1997, 3 (3) : 371-382. doi: 10.3934/dcds.1997.3.371

C. Chandre. Renormalization for cubic frequency invariant tori in Hamiltonian systems with two degrees of freedom. Discrete and Continuous Dynamical Systems - B, 2002, 2 (3) : 457-465. doi: 10.3934/dcdsb.2002.2.457

Shengqing Hu, Bin Liu. Degenerate lower dimensional invariant tori in reversible system. Discrete and Continuous Dynamical Systems, 2018, 38 (8) : 3735-3763. doi: 10.3934/dcds.2018162

Hsuan-Wen Su. Finding invariant tori with Poincare's map. Communications on Pure and Applied Analysis, 2008, 7 (2) : 433-443. doi: 10.3934/cpaa.2008.7.433

Ugo Locatelli, Antonio Giorgilli. Invariant tori in the Sun--Jupiter--Saturn system. Discrete and Continuous Dynamical Systems - B, 2007, 7 (2) : 377-398. doi: 10.3934/dcdsb.2007.7.377

Xiaocai Wang. Non-floquet invariant tori in reversible systems. Discrete and Continuous Dynamical Systems, 2018, 38 (7) : 3439-3457. doi: 10.3934/dcds.2018147

Daniel Visscher. A new proof of Franks' lemma for geodesic flows. Discrete and Continuous Dynamical Systems, 2014, 34 (11) : 4875-4895. doi: 10.3934/dcds.2014.34.4875

S. Aubry, G. Kopidakis, V. Kadelburg. Variational proof for hard Discrete breathers in some classes of Hamiltonian dynamical systems. Discrete and Continuous Dynamical Systems - B, 2001, 1 (3) : 271-298. doi: 10.3934/dcdsb.2001.1.271

Martin Pinsonnault. Maximal compact tori in the Hamiltonian group of 4-dimensional symplectic manifolds. Journal of Modern Dynamics, 2008, 2 (3) : 431-455. doi: 10.3934/jmd.2008.2.431

Dmitriy Yu. Volkov. The Hopf -- Hopf bifurcation with 2:1 resonance: Periodic solutions and invariant tori. Conference Publications, 2015, 2015 (special) : 1098-1104. doi: 10.3934/proc.2015.1098