%0 Conference Paper %1 conf/mkm/TekriwalAKBJ23 %A Tekriwal, Mohit %A Appel, Andrew W. %A Kellison, Ariel E. %A Bindel, David %A Jeannin, Jean-Baptiste %B CICM %D 2023 %E Dubois, Catherine %E Kerber, Manfred %I Springer %K dblp %P 206-221 %T Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2023.html#TekriwalAKBJ23 %V 14101 %@ 978-3-031-42753-4

@inproceedings{conf/mkm/TekriwalAKBJ23, added-at = {2023-09-05T00:00:00.000+0200}, author = {Tekriwal, Mohit and Appel, Andrew W. and Kellison, Ariel E. and Bindel, David and Jeannin, Jean-Baptiste}, biburl = {https://www.bibsonomy.org/bibtex/2bb9f21b747bddcc8634304d360f86dc6/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2023}, editor = {Dubois, Catherine and Kerber, Manfred}, ee = {https://doi.org/10.1007/978-3-031-42753-4_14}, interhash = {41358dd97086bdb9574ea092a13188a1}, intrahash = {bb9f21b747bddcc8634304d360f86dc6}, isbn = {978-3-031-42753-4}, keywords = {dblp}, pages = {206-221}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:44:34.000+0200}, title = {Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2023.html#TekriwalAKBJ23}, volume = 14101, year = 2023 }