Évaluation efficace de fonctions numériques - Outils et exemples

Sylvain Chevillard 1, 2
2 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : With computers, it is possible to evaluate some numerical functions such as f = exp, sin, arccos, etc. The purpose of this thesis is to study how these functions can be implemented. Depending on the target architecture (software or hardware, small or high accuracy required), different problems must be addressed, but the final goal is always to eventually obtain an implementation as efficient as possible. We first study with an example the problems that arise in the case when the precision is arbitrary. When, on the contrary, the precision is known in advance, the function f is often replaced by an approximation polynomial p. Such a polynomial can then be very efficiently evaluated. In practice, the coefficients of p must be representable on a given finite number of bits. We propose several algorithms (some of them are heuristic and others are rigorous) for finding very good approximation polynomials satisfying this constraint. Our results also apply in the case when the approximant is a rational fraction. Once p has been found, one must prove that the error |p-f| is not greater than a given bound. The particular form of the function p-f (subtraction between two very close functions) makes this property hard to rigorously prove. We propose an algorithm for overcoming this difficulty. All these algorithms have been integrated into a software tool called Sollya, developed during the thesis. In the beginning, it was created for making the implementation of functions easier. Now, it may be interesting for anyone who needs to perform numerical computations in a safe environment.
Document type :
Modélisation et simulation. Université de Lyon; Ecole normale supérieure de lyon - ENS LYON, 2009. Français
Liste complète des métadonnées

Contributor : Sylvain Chevillard <>
Submitted on : Wednesday, October 21, 2015 - 12:51:32 PM
Last modification on : Tuesday, September 6, 2016 - 4:48:59 PM
Document(s) archivé(s) le : Friday, April 28, 2017 - 7:44:01 AM


  • HAL Id : tel-00460776, version 4



Sylvain Chevillard. Évaluation efficace de fonctions numériques - Outils et exemples. Modélisation et simulation. Université de Lyon; Ecole normale supérieure de lyon - ENS LYON, 2009. Français. <tel-00460776v4>



Record views


Document downloads