论文信息 - Precise computation using range arithmetic, via C++

Precise computation using range arithmetic, via C++

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.

Oliver Aberth | Mark J. Schaefer | M. Schaefer | O. Aberth

[1] David A. Pope,et al. Multiple precision arithmetic , 1960, CACM.

[2] Ramon E. Moore. Methods and applications of interval analysis , 1979, SIAM studies in applied mathematics.

[3] Siegfried M. Rump,et al. Algorithms for verified inclusions—theory and practice , 1988 .

[4] Bjarne Stroustrup,et al. C++ Programming Language , 1986, IEEE Softw..

[5] Jeffery Stewart Ely. Prospects for using variable precision interval software in C++ for solving some contemporary , 1990 .

[6] Donald Ervin Knuth,et al. The Art of Computer Programming , 1968 .

[7] Michael Metzger. FORTRAN-SC, A FORTRAN extension for engineering/scientific computation with access to ACRITH: demonstration of the compiler and sample programs , 1988 .

[8] Donald Ervin Knuth,et al. The Art of Computer Programming, 2nd Ed. (Addison-Wesley Series in Computer Science and Information , 1978 .

[9] Oliver Aberth. Precise Scientific Computation with a Microprocessor , 1984, IEEE Transactions on Computers.

[10] Thomas E. Hull,et al. Toward an ideal computer arithmetic , 1987, 1987 IEEE 8th Symposium on Computer Arithmetic (ARITH).

[11] Jürgen Wolff von Gudenberg. Reliable expression evaluation in PASCAL-SC , 1988 .

[12] Oliver Aberth,et al. Precise matrix eigenvalues using range arithmetic , 1993 .

[13] Wolfgang Walter,et al. FORTRAN-SC, A FORTRAN Extension for engineering/scientific computation with access to ACRITH: language description with examples , 1988 .