tekriwal-2023-verified:
  type: chapter
  title: 'Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method'
  author:
  - Tekriwal, Mohit
  - Appel, Andrew W.
  - Kellison, Ariel E.
  - Bindel, David
  - Jeannin, Jean-Baptiste
  date: 2023
  page-range: 206-221
  url: http://dx.doi.org/10.1007/978-3-031-42753-4_14
  serial-number:
    doi: 10.1007/978-3-031-42753-4_14
    isbn: '9783031427534'
    issn: 1611-3349
  parent:
    type: book
    title: Intelligent Computer Mathematics
    publisher: Springer Nature Switzerland