Skip to Main content Skip to Navigation
New interface
Reports (Research report)

Validating Polynomial Numerical Computations with Complementary Automatic Methods

Philippe Langlois 1 Nathalie Revol 1 
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : Finite precision computations affect the accuracy of computed solutions and sometimes the stability of iterative algorithms. Automatic approaches exist to control and to reduce these effects. Examples are the CESTAC and the CENA methods and the more general interval approaches. We focus here on a complementary use of these methods to localize unstable behavior of the algorithm, to improve the accuracy of the solutions, to identify and explain finite precision effects. We present computational experiments on ill-conditioned polynomial roots approximated with Newton's iteration that illustrate the well-known influence of coefficient perturbations.
Document type :
Reports (Research report)
Complete list of metadata
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 9:54:21 AM
Last modification on : Wednesday, October 26, 2022 - 8:16:49 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:06:39 PM


  • HAL Id : inria-00072417, version 1


Philippe Langlois, Nathalie Revol. Validating Polynomial Numerical Computations with Complementary Automatic Methods. [Research Report] RR-4205, INRIA. 2001. ⟨inria-00072417⟩



Record views


Files downloads