Verified Numerical Linear Algebra: Linear System Solving - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Verified Numerical Linear Algebra: Linear System Solving

Nathalie Revol

Abstract

Solving numerically a linear system can be performed very efficiently, using optimized routines, but it yields an approximate solution without any indication about its accuracy. Getting an enclosure of the error between the approximate and the exact solutions is called "verification". We present a verified algorithm which gets an accurate enclosure, with a moderate overhead both in complexity and in practical performance. Its key ingredients are interval arithmetic, iterative refinement and well-chosen computing precision.
No file

Dates and versions

hal-00641663 , version 1 (16-11-2011)

Identifiers

  • HAL Id : hal-00641663 , version 1

Cite

Nathalie Revol. Verified Numerical Linear Algebra: Linear System Solving. 2011 SIAM Conference on Applied Algebraic Geometry, Oct 2011, Raleigh, United States. ⟨hal-00641663⟩
80 View
0 Download

Share

Gmail Facebook X LinkedIn More