• Pierre Roux's avatar
    Optimal error bounds for rounding to nearest of arithmetic operations. · 7ec13200
    Pierre Roux authored
    From:
    Claude-Pierre Jeannerod, Siegfried M. Rump:
    On relative errors of floating-point operations: Optimal bounds and applications,
    Math. Comput., 87(310):803-819, 2018.
    
    The paper also contain a specific result for division in radix2 (only
    the generic radix result is proved here).
    7ec13200
Name
Last commit
Last update
examples Loading commit data...
src Loading commit data...
.gitignore Loading commit data...
.mailmap Loading commit data...
AUTHORS Loading commit data...
COPYING Loading commit data...
INSTALL.md Loading commit data...
NEWS.md Loading commit data...
README.md Loading commit data...
Remakefile.in Loading commit data...
_CoqProject Loading commit data...
autogen.sh Loading commit data...
configure.in Loading commit data...
remake.cpp Loading commit data...