The appearance of big integers in exact real arithmetic based on linear fractional transformations (1998)

by R Heckmann
Venue:In Proc. Foundations of Software Science and Computation Structures (FoSSaCS '98), volume 1378 of LNCS