TY  - RPRT
TI  - Towards Verified Rounding-Error Analysis for Stationary Iterative Methods.
AU  - Kellison, Ariel
AU  - Tekriwal, Mohit
AU  - Jeannin, Jean-Baptiste
AU  - Hulette, Geoffrey
PY  - 2022
DO  - 10.1109/correctness56720.2022.00007
UR  - https://www.osti.gov/biblio/2004333
ID  - 2004333
ER  -