Faissole, Florian Formally-verified round-off error analysis of Runge-Kutta methods. (English) Zbl 07800194 J. Autom. Reasoning 68, No. 1, Paper No. 1, 33 p. (2024). MSC: 68V15 × Cite Format Result Cite Review PDF Full Text: DOI
Connolly, Michael P.; Higham, Nicholas J. Probabilistic rounding error analysis of Householder QR factorization. (English) Zbl 1520.65019 SIAM J. Matrix Anal. Appl. 44, No. 3, 1146-1163 (2023). MSC: 65F05 65G50 × Cite Format Result Cite Review PDF Full Text: DOI
Higham, Nicholas J.; Mary, Theo Mixed precision algorithms in numerical linear algebra. (English) Zbl 1512.65081 Acta Numerica 31, 347-414 (2022). MSC: 65G50 65Y04 65F05 65F10 × Cite Format Result Cite Review PDF Full Text: DOI
Dehghani-Madiseh, Marzieh Bounding error of calculating the matrix functions. (English) Zbl 1499.65157 Comput. Methods Differ. Equ. 10, No. 1, 259-273 (2022). MSC: 65F60 65G30 × Cite Format Result Cite Review PDF Full Text: DOI