Refining and verifying efficiently the solution of a linear system - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Refining and verifying efficiently the solution of a linear system

Nathalie Revol
Hong Diep Nguyen
  • Function : Author
  • PersonId : 868508

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.
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00641669 , version 1

Cite

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 View
0 Download

Share

Gmail Facebook X LinkedIn More