skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Towards Verified Rounding-Error Analysis for Stationary Iterative Methods.

Abstract

Abstract not provided.

Authors:
; ; ;
Publication Date:
Research Org.:
Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
Sponsoring Org.:
USDOE National Nuclear Security Administration (NNSA)
OSTI Identifier:
2004333
Report Number(s):
SAND2022-10930C
709046
DOE Contract Number:  
NA0003525
Resource Type:
Conference
Resource Relation:
Conference: Proposed for presentation at the Sixth International Workshop on Software Correctness for HPC Applications held November 18-19, 2022 in Dallas, TX.
Country of Publication:
United States
Language:
English

Citation Formats

Kellison, Ariel, , Tekriwal, Mohit, , Jeannin, Jean-Baptiste, and Hulette, Geoffrey. Towards Verified Rounding-Error Analysis for Stationary Iterative Methods.. United States: N. p., 2022. Web. doi:10.1109/Correctness56720.2022.00007.
Kellison, Ariel, , Tekriwal, Mohit, , Jeannin, Jean-Baptiste, & Hulette, Geoffrey. Towards Verified Rounding-Error Analysis for Stationary Iterative Methods.. United States. https://doi.org/10.1109/Correctness56720.2022.00007
Kellison, Ariel, , Tekriwal, Mohit, , Jeannin, Jean-Baptiste, and Hulette, Geoffrey. 2022. "Towards Verified Rounding-Error Analysis for Stationary Iterative Methods.". United States. https://doi.org/10.1109/Correctness56720.2022.00007. https://www.osti.gov/servlets/purl/2004333.
@article{osti_2004333,
title = {Towards Verified Rounding-Error Analysis for Stationary Iterative Methods.},
author = {Kellison, Ariel and and Tekriwal, Mohit and and Jeannin, Jean-Baptiste and Hulette, Geoffrey},
abstractNote = {Abstract not provided.},
doi = {10.1109/Correctness56720.2022.00007},
url = {https://www.osti.gov/biblio/2004333}, journal = {},
number = ,
volume = ,
place = {United States},
year = {Mon Aug 01 00:00:00 EDT 2022},
month = {Mon Aug 01 00:00:00 EDT 2022}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: