Formalization of Asymptotic Convergence for Stationary Iterative Methods
Lecture Notes in Computer Science (2024) - Comments
doi: 10.1007/978-3-031-60698-4_3  issn: 0302-9743  issn: 1611-3349 

Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin