The following pages link to \(C^1\) Lohner algorithm. (Q1865828):
Displaying 9 items.
- Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems (Q5346730) (← links)
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature (Q6038849) (← links)
- Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem (Q6049736) (← links)
- Computer‐assisted analysis of chaos in a three‐species food chain model (Q6091789) (← links)
- Rigorous numerics for fast-slow systems (Q6117937) (← links)
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem (Q6155309) (← links)
- Validated integration of semilinear parabolic PDEs (Q6586798) (← 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)
