A formally verified theory of IEEE rounding. Unpublished, available at wwwwjp. cs.uni-sb.de/cj/ieee-lib.ps (2001)

by C Jacobi