共 50 条
- [34] Formalization of Asymptotic Convergence for Stationary Iterative Methods NASA FORMAL METHODS, NFM 2024, 2024, 14627 : 37 - 56
- [36] CONVERGENCE ANALYSIS OF INEXACT RANDOMIZED ITERATIVE METHODS SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2020, 42 (06): : A3979 - A4016