22

Correctly Rounded BinaryDecimal and DecimalBinary Conversions
– David M. Gay
 1990

2

and J.Rees (editors). Revised report on the algorithmic language Scheme
– W Clinger
 1991

1

How to print floating point numbers accurately
– Steele Jr, Guy Lewis, Jon L White

6

A formalization of floatingpoint numeric base conversion
– D W Matula
 1970

3

MacScheme Manual and Software
– Lightship Software
 1990

1

At www.research.ibm.com/journal/rd/, see 435/abbott.html
– P H Abbott, D G Brush, C W Clark C J Crone, J R Ehrman, G W Ewart, C A Goodrich, M Hack, J S Kapernick, B J Minchau, W C Shepard, R M Smith, R Tallman, S Walkowiak, A Watanabe, W R White
 1999

1

At http://www.netlib.org/fp
– c dtoa
 1990

1

At http://www.netlib.org/fp
– Testbase
 1991

1

Differences among IEEE 754 implementations. At http://www.validlab.com/. This was written as
– Doug Priest

7

7541985. IEEE standard for binary floatingpoint arithmetic
– IEEE standard
 1985

8

Clinger (Editors). Revised Report on the Algorithmic Language Scheme
– Jonathan Rees, William
 1986

14

An Implementation Guide to a Proposed Standard for FloatingPoint Arithmetic
– Annotated Bibliography Coonen, T Jerome
 1980

6

editors. Beauty is our business: a birthday salute to Edsger W
– W H J Feijen, A J M van Gasteren, D Gries, J Misra
 1990

4

Binary to decimal, one more time. In Feijen et al. [11], chapter 16
– David Gries
 1990

4

A simple program whose proof isn’t. In Feijen et al. [11], chapter 27, pages 233– 242. ISBN 0387972994. LCCN QA76.B326
– Donald E Knuth
 1990

8

The Art of Computer Programming, second edition, Volume 1: Fundamental Algorithms
– Donald Knuth
 1973

43

An Introduction to the Theory of Numbers, fourth edition
– G H Hardy, E M Wright
 1960

12

27 bits are not enough for 8digit accuracy
– I B Goldberg
 1967

15

Printing FloatingPoint Numbers Quickly and Accurately
– Robert Burger, R. Kent Dybvig
