On intermediate precision required for correctly-rounding decimal-to-binary conversion (2004)

by M Hack
Venue:In Proceedings of Real Numbers and Computers (RNC'6), Schloss Dagstuhl