Pages that link to "Item:Q2137186"
From MaRDI portal
The following pages link to Recent advances in a rigorous computation of Poincaré maps (Q2137186):
Displaying 7 items.
- Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem (Q2137348) (← links)
- Existence of Periodic Solutions of the FitzHugh--Nagumo Equations for an Explicit Range of the Small Parameter (Q2819093) (← links)
- Computer-assisted proofs of existence of KAM tori in planetary dynamical models of \(\upsilon\)-And \(\mathbf{b}\) (Q6183807) (← links)
- A box-counting method for characteristic diagnosis of nonlinear dynamical systems (Q6538860) (← links)
- High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of delay differential equations with several delays (Q6592119) (← links)
- Computer-assisted validation of the existence of periodic orbit in the Brusselator system (Q6593389) (← links)
- Breakdown of homoclinic orbits to \(L_3\): nonvanishing of the Stokes constant (Q6598505) (← links)
