Verified Numerical Methods for Ordinary Differential Equations.
Ariel E. KellisonAndrew W. AppelPublished in: NSV/FoMLAS@CAV (2022)
Keyphrases
- ordinary differential equations
- numerical methods
- differential equations
- partial differential equations
- numerical solution
- runge kutta
- dynamical systems
- image denoising
- image processing
- anisotropic diffusion
- image enhancement
- multiscale
- high order
- dynamic systems
- natural images
- energy functional
- multiresolution
- object recognition
- data sets