Refining and verifying efficiently the solution of a linear system - 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

Refining and verifying efficiently the solution of a linear system

Nathalie Revol
Hong Diep Nguyen
  • Fonction : Auteur
  • PersonId : 868508

Résumé

The problem considered in this talk is to solve and mainly to refine an approximate, numerical, solution of a linear system. The refinement step is computed simultaneously with 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. In this talk, an algorithm is presented, which aims at satisfying these properties. It is based on the use of BLAS3 optimized routines for performances. It employs iterative refinement for accuracy, with well-chosen computing precisions, and it uses interval arithmetic for verification.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00641669 , version 1

Citer

Nathalie Revol, Hong Diep Nguyen. Refining and verifying efficiently the solution of a linear system. Dagstuhl Seminar 11371: Uncertainty modeling and analysis with intervals: Foundations, tools, applications, Sep 2011, Dagstuhl, Germany. ⟨hal-00641669⟩
130 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More