Computer Assisted Verification of Chaos in the Smooth Chua's equation.
Quan YuanXiao-Song YangPublished in: Int. J. Bifurc. Chaos (2008)
Keyphrases
- computer assisted
- computer aided
- neural network
- intraoperative
- model checking
- formal verification
- differential equations
- face verification
- foreign language
- chaos theory
- reading comprehension
- computer assisted instruction
- smooth surfaces
- mathematical model
- particle swarm optimization
- nonlinear equations
- pattern recognition