Differential Equation Axiomatization: The Impressive Power of Differential Ghosts.
André PlatzerYong Kiam TanPublished in: CoRR (2018)
Keyphrases
- differential equations
- dynamical systems
- power consumption
- brownian motion
- numerical methods
- initial conditions
- feed forward artificial neural networks
- boundary value problem
- partial differential equations
- ordinary differential equations
- nonlinear differential equations
- numerical solution
- difference equations
- continuous functions
- situation calculus
- sensitivity analysis
- numerical integration
- fixed point
- high order