Pages that link to "Item:Q861906"
From MaRDI portal
The following pages link to Towards a computer-assisted proof for chaos in a forced damped pendulum equation (Q861906):
Displaying 11 items.
- An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum (Q301132) (← links)
- The GLOBAL optimization method revisited (Q941038) (← links)
- Rigorous proof of chaotic behaviour in a dumbbell satellite model (Q1593780) (← links)
- Determining consecutive periods of the Lorenz maps (Q1957550) (← links)
- On the existence and stabilization of an upper unstable limit cycle of the damped forced pendulum (Q2297144) (← links)
- Stability problems for the mathematical pendulum (Q2377654) (← links)
- A verified optimization technique to locate chaotic regions of Hénon systems (Q2505553) (← links)
- Chaotic dynamics in a vertically driven planar pendulum (Q2653971) (← links)
- Global attractivity of the zero solution for Wright's equation (Q2876683) (← links)
- Rigorous verification of trajectories for the computer simulation of dynamical systems (Q3976858) (← links)
- Chaos in the Lorenz equations: a computer-assisted proof (Q4320743) (← links)
