C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A formal proof of the Lax equivalence theorem for finite difference schemes.
Mohit Tekriwal
Karthik Duraisamy
Jean-Baptiste Jeannin
Published in:
CoRR (2021)
Keyphrases
</>
finite difference
formal proof
semi implicit
numerical scheme
finite element
partial differential equations
numerical solution
hamilton jacobi
numerical analysis
level set
theorem prover
finite element methods
nonlinear diffusion
pairwise
multiscale
image enhancement
denoising
image analysis
feature vectors