On intermediate precision required for correctly-rounding decimal-to-binary floating-point conversion

by Michel Hack
Venue:In Proceedings of 6th Conference Real Numbers and Computers (RNC’6). Schloss Dagstuhl
Citations:2 - 0 self