Verified Numerical Linear Algebra: Linear System Solving - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Verified Numerical Linear Algebra: Linear System Solving

Nathalie Revol

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00641663 , version 1

Citer

Nathalie Revol. Verified Numerical Linear Algebra: Linear System Solving. 2011 SIAM Conference on Applied Algebraic Geometry, Oct 2011, Raleigh, United States. ⟨hal-00641663⟩
81 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More