Geodesic
Jak počítače počítají
Pokroky matematiky, fyziky a astronomie, Tome 49 (2004) no. 1, pp. 32-45
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 68M07, 68Qxx
Mots-clés : representation of real numbers in computers; performing algebraic operations 
@article{PMFA_2004_49_1_a4,
     author = {Pr\'ager, Milan and S\'ykorov\'a, Irena},
     title = {Jak po\v{c}{\'\i}ta\v{c}e po\v{c}{\'\i}taj{\'\i}},
     journal = {Pokroky matematiky, fyziky a astronomie},
     pages = {32--45},
     year = {2004},
     volume = {49},
     number = {1},
     zbl = {1265.68006},
     language = {cs},
     url = {http://geodesic.mathdoc.fr/item/PMFA_2004_49_1_a4/}
}
TY  - JOUR
AU  - Práger, Milan
AU  - Sýkorová, Irena
TI  - Jak počítače počítají
JO  - Pokroky matematiky, fyziky a astronomie
PY  - 2004
SP  - 32
EP  - 45
VL  - 49
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/PMFA_2004_49_1_a4/
LA  - cs
ID  - PMFA_2004_49_1_a4
ER  - 
%0 Journal Article
%A Práger, Milan
%A Sýkorová, Irena
%T Jak počítače počítají
%J Pokroky matematiky, fyziky a astronomie
%D 2004
%P 32-45
%V 49
%N 1
%U http://geodesic.mathdoc.fr/item/PMFA_2004_49_1_a4/
%G cs
%F PMFA_2004_49_1_a4
Práger, Milan; Sýkorová, Irena. Jak počítače počítají. Pokroky matematiky, fyziky a astronomie, Tome 49 (2004) no. 1, pp. 32-45. http://geodesic.mathdoc.fr/item/PMFA_2004_49_1_a4/

[1] Edelman, A.: The mathematics of the Pentium division bug. SIAM Review 39 (1997), 54–67. | DOI | MR | Zbl

[2] Hämmerlin, G., Hoffmann, K.- H.: Numerical Mathematics. Springer-Verlag, Inc., New York 1991. | MR

[3] GAO Report: Patriot Missile Defense. http://www.fas.org/starwars/gao/im92026.htm

[4] Goldberg, D.: Computer Arithmetic. Kaufmann, San Mateo, CA 1995, second edition. Appendix in [9].

[5] IEEE standard for binary floating-point arithmetic: ANSI/IEEE Std 754-1985, 1985. Reprinted in SIGPLAN Notices 22 (2) (1987), 9–25. | Zbl

[6] IEEE standard for radix-independent floating-point arithmetic: ANSI/IEEE Std 854-987, 1987. | Zbl

[7] Křížek, M., Práger, M., Vitásek, E.: Spolehlivost numerických výpočtů. PMFA 42 (1997), 8–23.

[8] Overton, M. L.: Numerical Computing with IEEE Floating Point Arithmetic. SIAM, Philadelphia 2001. | MR | Zbl

[9] Patterson, D. L., Hennessy, J. L.: Computer Architecture: A Quantitative Approach. Kaufmann, San Mateo, CA 1998, second edition.

[10] Priest, D. M.: Algorithms for arbitrary precision floating point arithmetic. In: P. Kornerup and D. Matula, editors, Proceedings of the 10th Symposium on Computer Arithmetic, 132–143. IEEE Computer Society Press, Piscataway, NJ, 1991.

[11] Skeel, R.: Roundoff error and the Patriot missile. SIAM News 25 (4), July 1992, 11. http:/www.siam.org/siamnews/general/patriot.htm

[12] Smith, D. M.: Multiple Precision Complex Arithmetic and Functions. TOMS 24 (1998), 4, též http://www.netlib.org/toms/814 | DOI | Zbl

[13] Sterbenz, P.: Floating Point Computation. Prentice–Hall, Englewood Cliffs, NJ, 1974. | MR

[14] The Explosion of Ariane 5. http://www.ima.umn.edu/~arnold/disasters/ariane.html

[15] The Patriot Missile Failure. http://www.ima.umn.edu/~arnold/disasters/patriot.html

[16] Wilkinson, J. H.: Rounding Errors in Algebraic Processes. Her Majesty’s Stationery Office, London 1963. | MR | Zbl