Verified Numerical Linear Algebra: Linear System Solving

Nathalie Revol 1
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
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.
Type de document :
Communication dans un congrès
2011 SIAM Conference on Applied Algebraic Geometry, Oct 2011, Raleigh, United States. 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00641663
Contributeur : Nathalie Revol <>
Soumis le : mercredi 16 novembre 2011 - 13:53:52
Dernière modification le : vendredi 20 avril 2018 - 15:44:23

Identifiants

  • HAL Id : hal-00641663, version 1

Collections

Citation

Nathalie Revol. Verified Numerical Linear Algebra: Linear System Solving. 2011 SIAM Conference on Applied Algebraic Geometry, Oct 2011, Raleigh, United States. 2011. 〈hal-00641663〉

Partager

Métriques

Consultations de la notice

197