Representable Correcting Terms for Possibly Underflowing Floating Point Operations.

Sylvie Boldo Marc Daumas

Published in: IEEE Symposium on Computer Arithmetic (2003)

Keyphrases

floating point
floating point arithmetic
fixed point
square root
instruction set
high quality
data structure
data processing
interval arithmetic