Pages that link to "Item:Q2871371"
From MaRDI portal
The following pages link to A homoclinic orbit in a planar singular ODE -- a computer assisted proof (Q2871371):
Displaying 11 items.
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation (Q478282) (← links)
- Computation of maximal local (un)stable manifold patches by the parameterization method (Q904186) (← links)
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof (Q1688658) (← links)
- Computing Evans functions numerically via boundary-value problems (Q1701302) (← links)
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
- Recent advances in a rigorous computation of Poincaré maps (Q2137186) (← links)
- Connecting orbits for a singular nonautonomous real Ginzburg-Landau type equation (Q2797744) (← links)
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations (Q5258573) (← links)
- Rigorous numerics for fast-slow systems (Q6117937) (← links)