Differential Equation Axiomatization: The Impressive Power of Differential Ghosts.
André PlatzerYong Kiam TanPublished in: LICS (2018)
Keyphrases
- differential equations
- dynamical systems
- ordinary differential equations
- boundary value problem
- numerical solution
- numerical methods
- continuous functions
- difference equations
- initial conditions
- partial differential equations
- nonlinear differential equations
- brownian motion
- power consumption
- fixed point
- higher order
- least squares
- wavelet transform
- multiscale
- neural network