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}
}
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 to My Library
You must Sign In or Create an Account in order to save documents to your library.