@inbook{tekriwal-2023-verified, title={Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method}, ISBN={9783031427534}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-42753-4_14}, DOI={10.1007/978-3-031-42753-4_14}, booktitle={Intelligent Computer Mathematics}, publisher={Springer Nature Switzerland}, author={Tekriwal, Mohit and Appel, Andrew W. and Kellison, Ariel E. and Bindel, David and Jeannin, Jean-Baptiste}, year={2023}, pages={206–221} }