Issue No. 11 - November (2010 vol. 59)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2010.110
Tomáš Brabec , Czech Technical University in Prague, Prague
Continued logarithms, as originally introduced by Gosper, represent a means for exact rational arithmetic, but their application to exact real arithmetic is limited by the uniqueness of their representation. This is quite unfortunate, as this representation seems promising for efficient hardware implementation. We propose an idea of making the representation redundant using speculative recognition of noncomputable cases. This approach solves the problem of real number computability, preserves most of the beneficial properties of continued logarithms, and only moderately affects complexity of arithmetic algorithms, thus, keeping the prospect of efficient implementation.
Computer arithmetic, representation of numbers, continued fraction, redundancy, computable real numbers, exact arithmetic.
Tomáš Brabec, "Speculatively Redundant Continued Logarithm Representation", IEEE Transactions on Computers, vol. 59, no. , pp. 1441-1454, November 2010, doi:10.1109/TC.2010.110