Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision

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

Abstract

Using floating-point arithmetic to solve a numerical problem yields a computed result, which is an approximation of the exact solution because of roundoff errors. In this paper, we present an approach to certify the computed solution. Here, "certify" means computing a guaranteed enclosure of the error between the computed, approximate, result and the exact, unknown result. We discuss an iterative refinement method: classically, such methods aim at computing an approximation of the error and they add it to the previous result to improve its accuracy. We add two ingredients: interval arithmetic is used to get an enclosure of the error instead of an approximation, and multiple precision is used to reach higher accuracy. We exemplify this approach on the certification of the solution of a linear system.
Fichier principal
Vignette du fichier
Nguyen-Revol-v2.pdf (107.6 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00544798 , version 1 (09-12-2010)

Identifiers

  • HAL Id : inria-00544798 , version 1

Cite

Hong Diep Nguyen, Nathalie Revol. Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision. NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom. ⟨inria-00544798⟩
90 View
112 Download

Share

Gmail Facebook X LinkedIn More