Implicit Definitions with Differential Equations for KeYmaera X - (System Description).
James GallicchioYong Kiam TanStefan MitschAndré PlatzerPublished in: IJCAR (2022)
Keyphrases
- differential equations
- dynamical systems
- ordinary differential equations
- precise definition
- numerical solution
- brownian motion
- partial differential equations
- high level
- numerical methods
- difference equations
- boundary value problem
- feed forward artificial neural networks
- nonlinear differential equations
- objective function
- natural images
- numerical integration