Rigorous Verification of Bifurcations of Differential Equations via the Conley Index Theory.
Kaname MatsuePublished in: SIAM J. Appl. Dyn. Syst. (2011)
Keyphrases
- differential equations
- difference equations
- control theory
- dynamical systems
- partial differential equations
- mathematical foundations
- boundary value problem
- ordinary differential equations
- transmission line
- pattern recognition
- numerical solution
- computer vision
- feed forward artificial neural networks
- brownian motion
- formal methods
- numerical methods
- object recognition
- machine learning
- nonlinear differential equations