Differential Equation Invariance Axiomatization.
André PlatzerYong Kiam TanPublished in: J. ACM (2020)
Keyphrases
- differential equations
- dynamical systems
- boundary value problem
- numerical solution
- invariant features
- situation calculus
- numerical methods
- initial conditions
- ordinary differential equations
- brownian motion
- nonlinear differential equations
- continuous functions
- partial differential equations
- difference equations
- complete axiomatization
- feed forward artificial neural networks