Correct rounding of algebraic functions
Nicolas Brisebarre, Jean‐Michel Muller · RAIRO - Theoretical Informatics and Applications · 2007
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.