A formal proof of the Lax equivalence theorem for finite difference schemes

Mohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin

The behavior of physical systems is typically modeled using differential equations which are too complex to solve analytically. In practical problems, these equations are discretiz…