The following pages link to (Q4536844):
Displaying 11 items.
- A computer proof that the Lorenz equations have ``chaotic'' solutions (Q1324453) (← links)
- Evolution of mathematical proof (Q1567045) (← links)
- Topological invariants, multivalued maps and computer assisted proofs in dynamics (Q1816695) (← links)
- A shooting approach to chaos in the Lorenz equations (Q1913660) (← links)
- Computer assisted proof of chaos in the Lorenz equations (Q1963439) (← links)
- Chaos in the Lorenz equations: a computer-assisted proof (Q4320743) (← links)
- Positive Topological Entropy of Chua's Circuit: A Computer Assisted Proof (Q4374499) (← links)
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
- GEOMETRIC DETECTION OF CHAOS BY USING A DELAYED LORENZ MAP (Q5322607) (← links)
- Chaos in the Lorenz equations: A computer assisted proof. III: Classical parameter values (Q5929069) (← links)
- Validated numerical approximation of stable manifolds for parabolic partial differential equations (Q6142331) (← links)