kellison-2022-towards:
  type: article
  title: Towards Verified Rounding Error Analysis for Stationary Iterative Methods
  author:
  - Kellison, Ariel
  - Tekriwal, Mohit
  - Jeannin, Jean-Baptiste
  - Hulette, Geoffrey
  date: 2022-11
  page-range: 10-17
  url: http://dx.doi.org/10.1109/correctness56720.2022.00007
  serial-number:
    doi: 10.1109/correctness56720.2022.00007
  parent:
    type: proceedings
    title: 2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness)
    publisher: IEEE