Irrationality measures of and .
Nous proposons une nouvelle approche et une généralisation d’un problème résolu par J.-P. Bézivin et F. Gramain, dont l’objet est de caractériser les fonctions entières solutions de systèmes de deux équations aux différences finies. De plus, nous donnons un algorithme qui permet de trouver la forme explicite des solutions.
We explicit the link between the computer arithmetic problem of providing correctly rounded algebraic functions and some diophantine approximation issues. This allows to get bounds on the accuracy with which intermediate calculations must be performed to correctly round these functions.
Page 1