Refining and verifying the solution of a linear system

Hong Diep Nguyen 1 Nathalie Revol 1
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : The problem considered here is to refine an approximate, numerical, solution of a linear system and simultaneously give an enclosure of the error between this approximate solution and the exact one: this is the verification step. Desirable properties for an algorithm solving this problem are accuracy of the results, complexity and performance of the actual implementation. A new algorithm is given, which has been designed with these desirable properties in mind. It is based on iterative refinement for accuracy, with well-chosen computing precisions, and uses interval arithmetic for verification.
Type de document :
Communication dans un congrès
ACM Digital Library. SNC 2011 - Symbolic Numeric Computation, Jun 2011, San Jose, United States. 2011
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00641659
Contributeur : Nathalie Revol <>
Soumis le : mercredi 16 novembre 2011 - 13:47:16
Dernière modification le : samedi 21 avril 2018 - 01:27:22
Document(s) archivé(s) le : lundi 5 décembre 2016 - 10:49:49

Fichier

Nguyen-Revol-SNC.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00641659, version 1

Collections

Citation

Hong Diep Nguyen, Nathalie Revol. Refining and verifying the solution of a linear system. ACM Digital Library. SNC 2011 - Symbolic Numeric Computation, Jun 2011, San Jose, United States. 2011. 〈hal-00641659〉

Partager

Métriques

Consultations de la notice

269

Téléchargements de fichiers

198