@dblp

A new representation for exact real numbers.

, and . MFPS, volume 6 of Electronic Notes in Theoretical Computer Science, page 119-132. Elsevier, (1997)

Links and resources

Tags