论文信息 - Foundations of Finite Precision Rational Arithmetic

Foundations of Finite Precision Rational Arithmetic

Finite precision fraction number systems are characterized and their number theoretic foundations are developed. Closed approximate rational arithmetic in these systems is obtained by the natural canonical rounding obtained using the continued fraction theory concept of best rational approximation. These systems are shown to be natural finite precision number systems in that they are essentially independent of the apparatus of the representation. The specific fixed-slash and floating-slash fraction number systems are described and their feasibility and convenience for Computer implementation are discussed. The foundations of adaptive variable precision are explored. The overall goal is to better understand the inherent mathematical properties of finite precision arithmetic and to provide a most natural and convenient computation system for approximating real arithmetic on a Computer.

D. Matula | Peter Kornerup

[1] L. Dickson. History of the Theory of Numbers , 1924, Nature.

[2] E. Wright,et al. An Introduction to the Theory of Numbers , 1939 .

[3] Roger S. Pinkham,et al. On the Distribution of First Significant Digits , 1961 .

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

[5] David W. Matula,et al. A Formalization of Floating-Point Numeric Base Conversion , 1970, IEEE Transactions on Computers.

[6] R. W. Hamming,et al. On the distribution of numbers , 1970, Bell Syst. Tech. J..

[7] U. Kulisch. An axiomatic approach to rounded computations , 1971 .

[8] David W. Matula. Fixed-slash and floating-slash rational arithmetic , 1975, 1975 IEEE 3rd Symposium on Computer Arithmetic (ARITH).

[9] Peter Kornerup,et al. A feasibility analysis of fixed-slash rational arithmetic , 1978, 1978 IEEE 4th Symposium onomputer Arithmetic (ARITH).

[10] Peter Kornerup,et al. A feasibility analysis of binary fixed-slash and floating-slash number systems , 1978, 1978 IEEE 4th Symposium onomputer Arithmetic (ARITH).

[11] Peter Kornerup,et al. An approximate rational arithmetic system with intrinsic recovery of simple fractions during expression evaluation , 1979, EUROSAM.