E. Kinoshita et Kj. Lee, A RESIDUE ARITHMETIC EXTENSION FOR RELIABLE SCIENTIFIC COMPUTATION, I.E.E.E. transactions on computers, 46(2), 1997, pp. 129-138
A reliable scientific computation approach, substantially different fr
om the known ones, based on Residue Number System (RNS) floating-point
arithmetic is described. In the approach, the real number is represen
ted by an expression which consists of two parts, the approximate part
and the interval error part. The approximate part, represented by an
RNS floating-point number, shows an approximate value for the real num
ber. The interval error value, represented by two RNS floating-point n
umbers, shows the left and the right limit of an interval containing t
he error. In parallel to the result of operation, the rounding error i
nduced by that operation is determined and then summed up in each oper
ation. When a series of operations is completed, the range of existenc
e for the result can be determined from the result of the computation
and the sum of interval errors. For the illustration of the proposed m
ethod, some examples are also given, which are said to be difficult to
find exact solution in the usual floating-point calculation.