1. Collange, S., Defour, D., Graillat, S., Iakymchuk, R.: Reproducible and accurate matrix multiplication for high-performance computing. In: Nehmeier, M. (ed.) Book of Abstracts of the 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2014), pp. 42–43. Würzburg, Germany (2014)
2. Bailey, D.H., Barrio, R., Borwein, J.M.: High-precision computation: mathematical physics and dynamics. Appl. Math. Comput. 218(20), 10106–10121 (2012)
3. Bailey, D.H., Borwein, J.M.: High-Precision Arithmetic: Progress and Challenges.
http://www.davidhbailey.com/dhbpapers/hp-arith.pdf
4. Ghazi, K.R., Lefèvre, V., Théveny, P., Zimmermann, P.: Why and how to use arbitrary precision. Comput. Sci. Eng. 12(3), 62–65 (2010)
5. Rump, S.M.: Algorithms for verified inclusions - theory and practice. In: Moore, R.E. (ed.) Reliability in Computing, pp. 109–126. Academic Press, New York (1988)