The Detection and Correction of Silent Errors in Pipelined Krylov Subspace Methods. - Erin Claire Carson; Jakub Hercík (CoRR, 2024)