Results 1 
2 of
2
A New Representation for Exact Real Numbers
, 1997
"... We develop the theoretical foundation of a new representation of real numbers based on the infinite composition of linear fractional transformations (lft), equivalently the infiite product of matrices, with nonnegative coefficients. Any rational interval in the one point compactification of the rea ..."
Abstract

Cited by 42 (8 self)
 Add to MetaCart
We develop the theoretical foundation of a new representation of real numbers based on the infinite composition of linear fractional transformations (lft), equivalently the infiite product of matrices, with nonnegative coefficients. Any rational interval in the one point compactification of the real line, represented by the unit circle S¹, is expressed as the image of the base interval [0�1] under an lft. A sequence of shrinking nested intervals is then represented by an infinite product of matrices with integer coefficients such that the first socalled sign matrix determines an interval on which the real number lies. The subsequent socalled digit matrices have nonnegative integer coe cients and successively re ne that interval. Based on the classi cation of lft's according to their conjugacy classes and their geometric dynamics, we show that there is a canonical choice of four sign matrices which are generated by rotation of S¹ by =4. Furthermore, the ordinary signed digit representation of real numbers in a given base induces a canonical choice of digit matrices.
A high radix online arithmetic for credible and accurate computing
 Journal of Universal Computer Science
, 1995
"... Abstract: The result of a simple oatingpoint computation can be in great error, even though no error is signaled, no coding mistakes are in the program, and the computer hardware is functioning correctly. This paper proposes a set of instructions appropriate for a general purpose microprocessor tha ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
Abstract: The result of a simple oatingpoint computation can be in great error, even though no error is signaled, no coding mistakes are in the program, and the computer hardware is functioning correctly. This paper proposes a set of instructions appropriate for a general purpose microprocessor that can be used to improve the credibility and accuracy of numerical computations. Such instructions provide direct hardware support for monitoring events which may threaten computational integrity, implementing oatingpoint data types of arbitrary precision, and repeating calculations with greater precision. These useful features are obtained by the e cient implementation of high radix online arithmetic. The prevalence of superscalar and VLIW processors makes this approach especially attractive.