Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL) - GRDDL - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-12-09 10:22:15 Numerical analysis Mathematics Applied mathematics Iterative refinement Iterative method Interval arithmetic Newton's method Condition number Residual Root-finding algorithm Affine arithmetic		Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL) Add to Reading List Source URL: perso.ens-lyon.fr Download Document from Source Website File Size: 152,83 KB Share Document on Facebook

	What is iterative refinement How to use iterative refinement to verify a computed result? Influence of the computing precision Conclusion and future work Iterative refinement: DocID: 1xVjn - View Document
	1 Solving Triangular Systems More Accurately and Efficiently Ph. Langlois, N. Louvet DALI-LP2A Laboratory. Universit´e de Perpignan. 52, avenue Paul Alduy. FPerpignan cedex. DocID: 1rgin - View Document
	Floating-Point Precision Tuning Using Blame Analysis Cuong Nguyen1 , Cindy Rubio-Gonz´alez1 , Benjamin Mehne1 , Koushik Sen1 , James Demmel1 , William Kahan1 , Costin Iancu2 , Wim Lavrijsen2 , David H. Bailey2 , and Dav DocID: 1qKDC - View Document
	Parallel Iterative Refinement in Polynomial Eigenvalue Problems∗ Carmen Campos Jose E. Roman DocID: 1qwsT - View Document