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

by Reinhold Heckmann
Venue:In Proc. Foundations of Software Science and Computation Structures