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
Complete list of metadatas

https://hal.inria.fr/inria-00072417
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 9:54:21 AM
Last modification on : Thursday, February 7, 2019 - 4:47:18 PM
Long-term archiving on : Sunday, April 4, 2010 - 11:06:39 PM

Identifiers

  • HAL Id : inria-00072417, version 1

Collections

Citation

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

Share

Metrics

Record views

152

Files downloads

176