Skip to Main content Skip to Navigation
New interface
Conference papers

Refining and verifying efficiently the solution of a linear system

Nathalie Revol 1 Hong Diep Nguyen 1 
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Nathalie Revol Connect in order to contact the contributor
Submitted on : Wednesday, November 16, 2011 - 2:02:02 PM
Last modification on : Tuesday, October 25, 2022 - 4:24:10 PM


  • HAL Id : hal-00641669, version 1


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⟩



Record views