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.
['Nicolas Brisebarre', 'Jean-Michel Muller']
CORRECT ROUNDING OF ALGEBRAIC FUNCTIONS