Deductive Stability Proofs for Ordinary Differential Equations.
Yong Kiam TanAndré PlatzerPublished in: CoRR (2020)
Keyphrases
- ordinary differential equations
- differential equations
- dynamic systems
- phase space
- numerical solution
- numerical integration
- partial differential equations
- mathematical models
- artificial intelligence
- biological systems
- object oriented
- dynamical systems
- reverse engineering
- higher order
- numerical methods
- software engineering
- object recognition
- neural network
- genetic regulatory networks