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.
Mots clés : floating-point arithmetic, computer arithmetic, algebraic functions, correct rounding, diophantine approximation
@article{ITA_2007__41_1_71_0, author = {Brisebarre, Nicolas and Muller, Jean-Michel}, title = {Correct rounding of algebraic functions}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {71--83}, publisher = {EDP-Sciences}, volume = {41}, number = {1}, year = {2007}, doi = {10.1051/ita:2007002}, mrnumber = {2330044}, language = {en}, url = {http://www.numdam.org/articles/10.1051/ita:2007002/} }
TY - JOUR AU - Brisebarre, Nicolas AU - Muller, Jean-Michel TI - Correct rounding of algebraic functions JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2007 SP - 71 EP - 83 VL - 41 IS - 1 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita:2007002/ DO - 10.1051/ita:2007002 LA - en ID - ITA_2007__41_1_71_0 ER -
%0 Journal Article %A Brisebarre, Nicolas %A Muller, Jean-Michel %T Correct rounding of algebraic functions %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2007 %P 71-83 %V 41 %N 1 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/ita:2007002/ %R 10.1051/ita:2007002 %G en %F ITA_2007__41_1_71_0
Brisebarre, Nicolas; Muller, Jean-Michel. Correct rounding of algebraic functions. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 41 (2007) no. 1, pp. 71-83. doi : 10.1051/ita:2007002. http://www.numdam.org/articles/10.1051/ita:2007002/
[1] American National Standards Institute and Institute of Electrical and Electronic Engineers. IEEE standard for binary floating-point arithmetic. ANSI/IEEE Standard, Std 754-1985, New York (1985).
[2] Development of ternary computers at Moscow State University. Technical report, Dept. VMK MGU (2000). Available at http://www.computer-museum.ru/english/setun.htm.
, , and ,[3] A proposed radix and word length independent standard for floating-point arithmetic. ACM SIGNUM Newsletter 20 (1985) 37-51.
,[4] A proposed radix-and-word-length-independent standard for floating-point arithmetic. IEEE MICRO 4 (1984) 86-100.
, , , , , , , , and ,[5] The conjecture and correctly rounded reciprocal square roots. Theor. Comput. Sci. 315 (2004) 405-417. | Zbl
, , and ,[6] Feasibility of “perfect” function evaluation. SIGNUM Newsletter 25 (1990) 25-26.
,[7] An accurate elementary mathematical library for the IEEE floating point standard. ACM Trans. Math. Software 17 (1991) 26-45. | Zbl
and ,[8] Über die angenäherte Darstellung der Irrationalzahlen durch rationale Brüche. Math. Ann. 46 (1891) 279-284. | JFM
,[9] American National Standards Institute, Institute of Electrical, and Electronic Engineers. IEEE standard for radix independent floating-point arithmetic. ANSI/IEEE Standard, Std 854-1987, New York (1987).
[10] On infinitely precise rounding for division, square root, reciprocal and square root reciprocal, in Proceedings of the 14th IEEE Symposium on Computer Arithmetic (Adelaide, Australia), edited by Koren and Kornerup, IEEE Computer Society Press, Los Alamitos, CA (1999) 233-240.
and ,[11] Continued fractions. Translated by Peter Wynn. P. Noordhoff Ltd., Groningen (1963). | MR | Zbl
,[12] Bound on runs of zeros and ones for algebraic functions, in Proc. of the 15th IEEE Symposium on Computer Arithmetic (Arith-15), edited by Burgess and Ciminiera, IEEE Computer Society Press (2001).
and ,[13] Moyens arithmétiques pour un calcul fiable. Thèse, École normale supérieure de Lyon, Lyon, France (2000).
,[14] Worst cases for correct rounding of the elementary functions in double precision, in Proc. of the 15th IEEE Symposium on Computer Arithmetic (Arith-15), edited by Burgess and Ciminiera, IEEE Computer Society Press (2001).
and ,[15] Essai sur la théorie des nombres. Duprat, Paris, An VI (1798).
,[16] Nouvelle démonstration d'un théorème sur les irrationnelles algébriques inséré dans le compte rendu de la dernière séance. C.R. Acad. Sci. Paris, Sér. A 18 (1844) 910-911.
,[17] Sur des classes très étendues de quantités dont la valeur n'est ni algébrique, ni même réductible à des irrationnelles algébriques. C.R. Acad. Sci. Paris, Sér. A 18 (1844) 883-885.
,[18] Sur des classes très étendues de quantités dont la valeur n'est ni algébrique, ni même réductible à des irrationnelles algébriques. J. Math. Pures Appl. 16 (1851) 133-142.
,[19] Rational approximations to algebraic numbers. Mathematika 2 (1955) 1-20; corrigendum 168 (1955). | Zbl
,[20] Searching worst cases of a one-variable function using lattice reduction. IEEE Trans. Comput. 54 (2005) 340-346.
, and ,Cité par Sources :