Trusting computations: A mechanized proof from partial differential equations to actual program.
Sylvie BoldoFrançois ClémentJean-Christophe FilliâtreMicaela MayeroGuillaume MelquiondPierre WeisPublished in: Comput. Math. Appl. (2014)
Keyphrases
- partial differential equations
- image denoising
- anisotropic diffusion
- numerical solution
- level set
- image processing
- multiscale
- differential equations
- image enhancement
- numerical algorithms
- energy functional
- problems in image processing
- curve evolution
- fourth order
- pattern recognition
- finite difference
- finite difference method
- noise removal
- boundary value problem
- diffusion equation
- numerical methods
- nonlinear diffusion
- mathematical morphology
- ambrosio tortorelli