14 citations · 31 across the 17 of their papers we have counts for
Showing math.NAShow all
2 papers · 1 filter
math.NA2022★ 2 cited
Formalization of Asymptotic Convergence for Stationary Iterative Methods
Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin
Solutions to differential equations, which are used to model physical systems, are computed numerically by solving a set of discretized equations. This set of discretized equations…
math.NA2021
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…