1. G. Alefeld and J. Herzberger, Introduction to Interval Computations. Academic Press, New York, 1983.
2. ANSI/IEEE, IEEE Standard for Binary Floating Point Arithmetic, Std 754-1985 edition. IEEE, New York, 1985.
3. Classics Appl. Math.;A. Berman,1994
4. X. Chen and K. Hashimoto, Numerical validation of solutions of saddle point matrix equations. Numerical Linear Algebra with Applications,10 (2003), 661–672.
5. J.B. Demmel, On floating point errors in Cholesky. LAPACK Working Note 14 CS-89-87, Department of Computer Science, University of Tennessee, Knoxville, TN, USA, 1989.