This Article 
 Bibliographic References 
 Add to: 
A Formalization of Floating-Point Numeric Base Conversion
August 1970 (vol. 19 no. 8)
pp. 681-692
The process of converting arbitrary real numbers into a floating-point format is formalized as a mapping of the reals into a specified subset of real numbers. The structure of this subset, the set of n significant digit base ? floating-point numbers, is analyzed and properties of conversion mappings are determined. For a restricted conversion mapping of the n significant digit base d numbers to the m significant-digit base d numbers, the one-to-one, onto, and order- preserving properties of the mapping are summarized. Multiple conversions consisting of a composition of individual conversion mappings are investigated and some results of the invariant points of such compound conversions are presented. The hardware and software implications of these results with regard to establishing goals and standards for floating-point formats and conversion procedures are considered.
Index Terms:
Accumulated error of successive conversions, base conversion, "equivalent digits" formula, floating-point numbers, mixed-base computational environments, round-off error, significant digits.
D.W. Matula, "A Formalization of Floating-Point Numeric Base Conversion," IEEE Transactions on Computers, vol. 19, no. 8, pp. 681-692, Aug. 1970, doi:10.1109/T-C.1970.223017
Usage of this product signifies your acceptance of the Terms of Use.