Beyond Floating Point

Authors:
C. W. Clenshaw;F. W. J. Olver
Affiliations:
Department of Mathematics, Cartmel College, University of Lancaster, Bailrigg, Lancaster, LA1 4YL, England;Institute for Physical Science and Technology, University of Maryland, College Park, MD
Venue:
Journal of the ACM (JACM)
Year:
1984

Redundant Logarithmic Arithmetic

IEEE Transactions on Computers
Overflow/Underflow-Free Floating-Point Number Representations with Self-Delimiting Variable-Length Exponent Field

IEEE Transactions on Computers - Special issue on computer arithmetic
Handling floating-point exceptions in numeric programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Floating Point Verification in HOL Light: The Exponential Function

Formal Methods in System Design
Floating-Point verification using theorem proving

SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems

Hi-index	0.01