Skip to Main content Skip to Navigation
New interface

Rigorous Polynomial Approximations and Applications

Mioara Maria Joldes 1, 2 
2 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : For purposes of evaluation and manipulation, mathematical functions f are commonly replaced by approximation polynomials p. Examples include floating-point implementations of elementary functions, integration, ordinary differential equations (ODE) solving. For that, a wide range of numerical methods exists. We consider the application of such methods in the context of rigorous computing, where we need guarantees on the accuracy of the result, with respect to both the truncation and rounding errors.A rigorous polynomial approximation (RPA) for a function f defined over an interval [a,b] is a couple (P, Delta) where P is a polynomial and Delta is an interval such that f(x)-P(x) belongs to Delta, for all x in [a,b]. In this work we analyse and bring forth several ways of obtaining RPAs for univariate functions. Firstly, we analyse and refine an existing approach based on Taylor expansions. Secondly, we replace them with better approximations such as minimax approximations, Chebyshev truncated series or interpolation polynomials.Several applications are presented: one from standard functions implementation in mathematical libraries (libm), another regarding the computation of Chebyshev series expansions solutions of linear ODEs with polynomial coefficients, and finally an automatic process for function evaluation with guaranteed accuracy in reconfigurable hardware.
Document type :
Complete list of metadata

Cited literature [160 references]  Display  Hide  Download
Contributor : ABES STAR :  Contact
Submitted on : Monday, February 27, 2012 - 11:26:48 AM
Last modification on : Tuesday, October 25, 2022 - 4:18:11 PM
Long-term archiving on: : Monday, May 28, 2012 - 2:41:05 AM


Version validated by the jury (STAR)


  • HAL Id : tel-00657843, version 2


Mioara Maria Joldes. Rigorous Polynomial Approximations and Applications. Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0655⟩. ⟨tel-00657843v2⟩



Record views


Files downloads