Towards Verified Rounding-Error Analysis for Stationary Iterative Methods.

Kellison, Ariel; Tekriwal, Mohit; Jeannin, Jean-Baptiste; Hulette, Geoffrey

doi:10.1109/correctness56720.2022.00007

DOE OSTI · 2004333

Towards Verified Rounding-Error Analysis for Stationary Iterative Methods.

Kellison, Ariel·Tekriwal, Mohit·Jeannin, Jean-Baptiste·Hulette, Geoffrey

View original source ↗Read source document ↗Export metadata ↓

Abstract

Abstract not provided.

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Kellison, Ariel, Tekriwal, Mohit, Jeannin, Jean-Baptiste, Hulette, Geoffrey. 2022-08-01. Towards Verified Rounding-Error Analysis for Stationary Iterative Methods.. https://doi.org/10.1109/correctness56720.2022.00007

Cite the original work for its findings. Save a collection to share your selection of sources.