@inproceedings{kellison-2022-towards, title={Towards Verified Rounding Error Analysis for Stationary Iterative Methods}, url={http://dx.doi.org/10.1109/correctness56720.2022.00007}, DOI={10.1109/correctness56720.2022.00007}, booktitle={2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness)}, publisher={IEEE}, author={Kellison, Ariel and Tekriwal, Mohit and Jeannin, Jean-Baptiste and Hulette, Geoffrey}, year={2022}, month=Nov, pages={10–17} }