An Axiomatic Approach to Computer Arithmetic with an Appendix on Interval Hardware.

Ulrich W. Kulisch

Browse the full PPAM paper archive.