Chaos in the Lorenz equations: A computer assisted proof. Part II: Details.
Konstantin MischaikowMarian MrozekPublished in: Math. Comput. (1998)
Keyphrases
- computer assisted
- chaotic systems
- intraoperative
- computer aided
- foreign language
- neural network
- surgical training
- particle swarm optimization
- theorem prover
- chaos theory
- adaptive control
- initial conditions
- computer vision
- linear logic
- linear systems
- three dimensional
- numerical methods
- control parameters
- vocabulary learning
- control method