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

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


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.
Fichier principal
Vignette du fichier
Nguyen-Revol-SNC.pdf (191.16 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : hal-00641659 , version 1


Hong Diep Nguyen, Nathalie Revol. Refining and verifying the solution of a linear system. SNC 2011 - Symbolic Numeric Computation, Jun 2011, San Jose, United States. ⟨hal-00641659⟩
121 View
298 Download


Gmail Facebook X LinkedIn More