An Axiomatic Approach to Liveness for Differential Equations.
Yong Kiam TanAndré PlatzerPublished in: CoRR (2019)
Keyphrases
- differential equations
- dynamical systems
- ordinary differential equations
- numerical solution
- boundary value problem
- brownian motion
- numerical methods
- difference equations
- feed forward artificial neural networks
- nonlinear differential equations
- learning algorithm
- multiscale
- pattern recognition
- numerical integration