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…