Interval Semantics for Standard Floating-Point Arithmetic - Computer Science > Numerical AnalysisReportar como inadecuado




Interval Semantics for Standard Floating-Point Arithmetic - Computer Science > Numerical Analysis - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: If the non-zero finite floating-point numbers are interpreted as pointintervals, then the effect of rounding can be interpreted as computing one ofthe bounds of the result according to interval arithmetic.
We give an intervalinterpretation for the signed zeros and infinities, so that the undefinedoperations 0*inf, inf - inf, inf-inf, and 0-0 become defined.In this way no operation remains that gives rise to an error condition.Mathematically questionable features of the floating-point standard becomewell-defined sets of reals.
Interval semantics provides a basis for theverification of numerical algorithms.
We derive the results of the newlydefined operations and consider the implications for hardware implementation.



Autor: W.W.
Edmonson, M.H.
van Emden


Fuente: https://arxiv.org/



DESCARGAR PDF




Documentos relacionados