Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual Program.
Sylvie BoldoFrançois ClémentJean-Christophe FilliâtreMicaela MayeroGuillaume MelquiondPierre WeisPublished in: CoRR (2012)
Keyphrases
- partial differential equations
- anisotropic diffusion
- numerical solution
- level set
- image denoising
- image processing
- image enhancement
- energy functional
- fourth order
- differential equations
- finite difference method
- numerical algorithms
- mathematical morphology
- problems in image processing
- numerical methods
- finite difference
- multiscale
- conservation laws
- curve evolution
- nonlinear diffusion
- boundary element
- difference equations
- numerical scheme
- boundary value problem
- high order
- image segmentation
- wavelet transform
- object recognition