Person. Joshua Miller Professor · University of Georgia · 0000-0003-1280-2863 Papers Formalization of Asymptotic Convergence for Stationary Iterative Methods tekriwal-2024-formalizationNFM · 2024 DOI