Bibliographic Links for
Numerical Computing with IEEE Floating Point Arithmetic, by Michael L. Overton

[AP98] U. M. Ascher and L. R. Petzold, Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations, SIAM, Philadelphia, 1998. Link

[BH+02] D. H. Bailey, Y. Hida, X.S. Li and B. Thompson. ARPREC: An arbitrary precision computation package, 2002. Link
(Not included in first printing, URL misspelled in second printing.)

[Dar98] J.D.~Darcy. Borneo: adding IEEE 754 support to Java, M.S.\ thesis, University of California, 1998. Link
(Not included in first printing.)

[Dem91] J.W. Demmel. On the odor of IEEE arithmetic. NA Digest, 91(39), Sept 29 1991. Link

[Dem97] J.W. Demmel. Applied Numerical Linear Algebra. SIAM, Philadelphia, 1997. Link

[Ede97] A. Edelman. The mathematics of the Pentium division bug. SIAM Review, 39:54--67, 1997. Link

[Ede94] A. Edelman. When is x*(1/x) not equal to 1? Draft, 1994. Link
(Not included in first printing, URL misspelled in second printing.)

[Fig00] S. Figueroa. A Rigorous Framework for Fully Supporting the IEEE Standard for Floating-Point Arithmetic in High-Level Programming Languages. Ph.D. thesis, New York University, 2000. Link

[For00], see new reference [MRC04] Link

[Gay90] D. M. Gay. Correctly rounded binary-decimal and decimal-binary conversions. Technical report, 1990, AT&T Bell Labs Numerical Analysis Manuscript 90-10. Link
(Updated link)

[Hea97] M. T. Heath. Scientific Computing: An Introductory Survey. McGraw-Hill, New York, 1997. Link

[HP95] J. L. Hennessy and D. L. Patterson. Computer Architecture: A Quantitative Approach. Kaufmann, San Mateo, CA, second edition, 1995. Link

[Hig96] N. J. Higham. Accuracy and Stability of Numerical Algorithms. SIAM, Philadelphia, 1996. Link

[Inq96] Inquiry board traces Ariane 5 failure to overflow error. SIAM News, 29(8), Oct. 1996, pp. 1, 12, 13. Link

[Ise96] A. Iserles. A First Course in the Numerical Analysis of Differential Equations. Cambridge University Press, Cambridge (UK), New York, 1996. Link

[ISO99] ISO/IEC 9899:1999 Standard for the C programming language (C99), 1999. January 1999 draft, Official final version

[Jav] Java Numerics. Link

[Kah96a] W. Kahan. The baleful effect of computer benchmarks upon applied mathematics, physics and chemistry, 1996. Link

[Kah96b] W. Kahan. Lecture notes on the status of IEEE standard 754 for binary floating-point arithmetic, 1996. Link

[Kah97] W. Kahan. The John von Neumann lecture at the SIAM 45th annual meeting, 1997. Link

[Kah98] W. Kahan and J. Darcy. How Java's floating-point hurts everyone everywhere, 1998. Link
(Incorrectly attributed only to W. Kahan in the first printing.)

[Kah00] W. Kahan. Ruminations on the design of floating-point arithmetic, 2000. Link

[KLPY99] V. Karamcheti, C. Li, I. Pechtchanski, and C. Yap. A CORE library for robust numerical and geometric libraries. In 15th ACM Symp. Computational Geometry, pp. 351--359, 1999. Link

[Knu68] and [Knu98] D. E. Knuth. The Art of Computer Programming, Addison-Wesley, Reading, MA. Link

[Lan99] K. Lange, Numerical Analysis for Statisticians, Springer, New York, 1999. Link

[LiDemEtAl00] X. Li, J. Demmel, D. Bailey, G. Henry, Y. Hida, J. Iskandar, W. Kahan, A. Kapur, M. C. Martin, B. Thompson, and D. J. Yoo, Design, implementation, and testing of extended and mixed precision BLAS. ACM Trans. Math. Software 28:152--163, 2002. Link

[MRC04] M. Metcalf, J. Reid and M. Cohen. Fortran 95/2003 Explained. Oxford University Press, Oxford, 2004. Link

[Mul97] J.-M. Muller. Elementary Functions: Algorithms and Implementation. Birkhauser, Boston, Basel, Berlin, 1997. Link

[Net] Netlib. Link

[NW99] J. Nocedal and S. J. Wright. Numerical Optimization. Springer, New York, 1999. Link

[PH95], see [HP95]

[PH98] D. L. Patterson and J. L. Hennessy. Computer Organization and Design: the Hardware/Software Interface. Kaufmann, San Mateo, CA, second edition, 1998. Link

[Rum] S. M. Rump. INTLAB: Interval Laboratory, a MATLAB toolbox for interval arithmetic. Link

[Sev98] C. Severance. An interview with the old man of floating-point: Reminiscences elicited from William Kahan, 1998. Link

[She97] J. R. Shewchuk. Adaptive precision floating-point arithmetic and fast robust geometric predicates. Discrete Comput. Geom., 18(3):305--363, 1997. Link

[Ske92] R. Skeel. Roundoff error and the Patriot missile. SIAM News, 25(4), July 1992, p. 11. Link

[Ste96] G. W. Stewart. Afternotes on Numerical Analysis. SIAM, Philadelphia, 1996. Link

[TB97] L. N. Trefethen and D. Bau, III. Numerical Linear Algebra. SIAM, Philadelphia, 1997. Link

[Van00] C. Van Loan. Introduction to Scientific Computing: A matrix-vector approach using MATLAB. Prentice-Hall, Upper Saddle River, NJ, second edition, 2000. Link

[Wil64] J. H. Wilkinson. Rounding Errors in Algebraic Processes. Prentice-Hall, Englewood Cliffs, NJ, 1964. Reprinted by Dover, New York, 1994. Link

[WW92] D. Weber-Wulff. Rounding error changes parliament makeup. The Risks Digest, 13(37), 1992. Link

Some other reference links not in book:

James Demmel and Yozo Hida. Accurate floating point summation. Link