Pages that link to "Item:Q1733758"
From MaRDI portal
The following pages link to An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758):
Displaying 8 items.
- A study of rigorous ODE integrators for multi-scale set-oriented computations (Q289025) (← links)
- A rigorous ODE solver and Smale's 14th problem (Q1601363) (← links)
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence (Q2005582) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems (Q2207440) (← links)
- Bracketing the solutions of an ordinary differential equation with uncertain initial conditions (Q2422853) (← links)
- Coexistence and dynamical connections between hyperchaos and chaos in the 4D Rössler system: a computer-assisted proof (Q2790863) (← links)
- Distribution of stable islands within chaotic areas in the non-hyperbolic and hyperbolic regimes in the Hénon-Heiles system (Q6174359) (← links)
