An Axiomatic Approach to Existence and Liveness for Differential Equations.
Yong Kiam TanAndré PlatzerPublished in: CoRR (2020)
Keyphrases
- differential equations
- dynamical systems
- numerical solution
- brownian motion
- ordinary differential equations
- nonlinear differential equations
- continuous functions
- numerical methods
- difference equations
- boundary value problem
- genetic algorithm
- partial differential equations
- sufficient conditions
- denoising
- state space
- high dimensional
- runge kutta
- feed forward artificial neural networks