Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette. Towards Verified Rounding Error Analysis for Stationary Iterative Methods. In Ignacio Laguna, Cindy Rubio-González, editors, Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022. pages 10-17, IEEE, 2022. [doi]
Abstract is missing.