Algorithms for verified inclusions—theory and practice
Reliability in computing: the role of interval methods in scientific computing
Algorithm 693: a FORTRAN package for floating-point multiple-precision arithmetic
ACM Transactions on Mathematical Software (TOMS)
Precise computation using range arithmetic, via C++
ACM Transactions on Mathematical Software (TOMS)
Algorithm 719: Multiprecision translation and execution of FORTRAN programs
ACM Transactions on Mathematical Software (TOMS)
Fast Multiple-Precision Evaluation of Elementary Functions
Journal of the ACM (JACM)
A Fortran Multiple-Precision Arithmetic Package
ACM Transactions on Mathematical Software (TOMS)
Hi-index | 0.01 |
The packages described here are designed to perform efficient high-accuracy calculations in cases where there can be serious loss of significance due to rounding errors. Numbers are represented by a value part with a variable number of digits in the mantissa and an error estimate which is updated throughout the calculation and which gives a range of possible values for the result of the calculation. For economy and speed, intermediate results are truncated so that the least-significant digits correspond to values only a few orders of magnitude smaller than the error estimate. Type definitions and the standard arithmetic operations, together with conversions to and from integers, are provided in one package. The mathematical constants &pgr; and Euler's gamma are incorporated to a maximum precision of 320 digits in a package that also contains all of the standard elementary functions. Separate packages contain input and output procedures and conversion to and from floating-point types.