A Formal Proof of the Lax Equivalence Theorem for Finite Difference Schemes.

Mohit Tekriwal Karthik Duraisamy Jean-Baptiste Jeannin

Published in: NFM (2021)

Keyphrases

finite difference
formal proof
numerical scheme
semi implicit
finite element
numerical solution
partial differential equations
numerical analysis
hamilton jacobi
finite element methods
theorem prover
level set
diffusion equation
image segmentation
image enhancement
color images
multiresolution