Towards Verified Rounding Error Analysis for Stationary Iterative Methods.
Ariel KellisonMohit TekriwalJean-Baptiste JeanninGeoffrey C. HulettePublished in: Correctness@SC (2022)
Keyphrases
- error analysis
- iterative methods
- least squares
- computationally expensive
- image reconstruction from projections
- non stationary
- constrained optimization
- cross ratio
- linear programming
- error correction
- approximation algorithms
- iterative algorithms
- mixed integer
- conjugate gradient method
- image quality
- error estimates
- neural model