Implicit Definitions with Differential Equations for KeYmaera X (System Description).
James GallicchioYong Kiam TanStefan MitschAndré PlatzerPublished in: CoRR (2022)
Keyphrases
- differential equations
- dynamical systems
- numerical solution
- precise definition
- ordinary differential equations
- high level
- nonlinear differential equations
- boundary value problem
- numerical methods
- brownian motion
- partial differential equations
- difference equations
- computer vision
- machine learning
- finite element method
- image enhancement
- multiresolution
- feature space