Precise computation using range arithmetic, via C++

ABSTRACT

An arithmetic is described that can replace floating-point arithmetic for programming tasks requiring assured accuracy. A general explanation is given of how the arithmetic is constructed with C++, and a programming example in this language is supplied. Times for solving representative problems are presented.

REFERENCES

• 1: ABERTYt, O. Precise scientific computation with a microprocessor. IEEE Trans. Comput. C-33, 3 (Aug. 1984), 685 690.
• 2: ABERTIt, O. Preczse Numerwa! Analyszs. Wm. C. Brown Publishers, Dubuque, Iowa, 1988.
• 3: AUERTH, O. Precise solution of differential equations using range arithmetic. In Proceed~ng-s of the lSth World Congress on Computation and Applied Mathemattcs, R. Vichnevetsky and J. J. H. Miller, Eds. IMACS, Dublin, Ireland, 1991, pp. 67-68.
• 4: Oliver Aberth , Mark J. Schaefer, Precise matrix eigenvalues using range arithmetic, SIAM Journal on Matrix Analysis and Applications, v.14 n.1, p.235-241, Jan. 1993 [doi>10.1137/0614018]
• 5: ALEFELD, G., AND HERZBERGER, J. Introductwn to lnterval Computation. J. Rokne, Transl. Academic Press, New York, 1983
• 6: Richard P. Brent, A Fortran Multiple-Precision Arithmetic Package, ACM Transactions on Mathematical Software (TOMS), v.4 n.1, p.57-70, March 1978 [doi>10.1145/355769.355775]
• 7: Jeffery Stewart Ely, Prospects for using variable precision interval software in C++ for solving some contemporary, Ohio State University, Columbus, OH, 1990
• 8: ELY, J. The application of variable precision interval arithmetic to the solution of problems in vortex dynamms. In Proceedings of the 13th World Congress on Computation and Applied Mathematics, R. Vichnevetsky and J. J. H. Miller, Eds. IMACS, Dublin, Ireland, 1991, pp. 69-70.
• 9: HmL, I. D. Procedures for the basic arithmetical operations in multlple-length working. Comput. J. 11 (1968), 232-235.
• 10: HULL, T. E., AND COHEN, M.S. Toward an ideal computer arithmetic. In Proceedings of the 8th Symposium on Computer Arzthmetic, M. J. Irwin and R. Stafanelli, Eds. IEEE Computer Society, Los Angeles, Calif., 1987, pp. 131 138.
• 11: Donald Ervin Knuth, The Art of Computer Programming, 2nd Ed. (Addison-Wesley Series in Computer Science and Information, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1978
• 12: Michael Metzger, FORTRAN-SC, A FORTRAN extension for engineering/scientific computation with access to ACRITH: demonstration of the compiler and sample programs, Reliability in computing: the role of interval methods in scientific computing, Academic Press Professional, Inc., San Diego, CA, 1988
• 13: MOORE, R.E. The automatic analysis and control of error in digital computation based on the use of interval numbers. In Error ~n Dtg~tal Computation, vol. 1, L B. Rall, Ed. Wiley, New York, 1965.
• 14: MOORE, R.E. Interval Analysis. Prentice-Hall, Englewood Cliffs, N.J., 1966.
• 15: Ramon E. Moore , Fritz Bierbaum, Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.), Soc for Industrial & Applied Math, 1979
• 16: David A. Pope , Marvin L. Stein, Multiple precision arithmetic, Communications of the ACM, v.3 n.12, p.652-654, Dec. 1960 [doi>10.1145/367487.367499]
• 17: Siegfried M. Rump, Algorithms for verified inclusions—theory and practice, Reliability in computing: the role of interval methods in scientific computing, Academic Press Professional, Inc., San Diego, CA, 1988
• 18: Bjarne Stroustrup, The C++ programming language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 19: Wolfgang Walter, FORTRAN-SC, A FORTRAN Extension for engineering/scientific computation with access to ACRITH: language description with examples, Reliability in computing: the role of interval methods in scientific computing, Academic Press Professional, Inc., San Diego, CA, 1988
• 20: Jürgen Wolff von Gudenberg, Reliable expression evaluation in PASCAL-SC, Reliability in computing: the role of interval methods in scientific computing, Academic Press Professional, Inc., San Diego, CA, 1988

INDEX TERMS

Primary Classification:
  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS
      G.1.0 General
          Subjects: Computer arithmetic

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: C++

General Terms:
Algorithms, Languages

Keywords:
C++, floating-point arithmetic, precise computation, range arithmetic