Titlebook: Handbook of Floating-Point Arithmetic; Jean-Michel Muller,Nicolas Brunie,Serge Torres Book 2018Latest edition Springer International Publi

喧鬧

諄諄教誨

Evaluating Floating-Point Elementary Functionsponentials and logarithms of radices ., 2, or 10, etc. They appear everywhere in scientific computing. Therefore, being able to evaluate them quickly and accurately is important for many applications. Many very different methods have been used for evaluating them: polynomial or rational approximatio

Leisureliness

小步舞

Interval Arithmeticng exactly the roundoff error. However, an approach based on interval arithmetic can provide results with a more or less satisfactory quality and with more or less efforts to obtain them. This is a historical reason for introducing interval arithmetic, as stated in the preface of R. Moore’s PhD diss

的’

Verifying Floating-Point Algorithmsdeed, floating-point arithmetic introduces numerous special cases, and examining all the details would be tedious. As a consequence, the verification process tends to focus on the main parts of the correctness proof, so that it does not grow out of reach.

tenuous

Extending the Precisionfficient. There are reasonably rare cases when the binary64/decimal64 or binary128/decimal128 floating-point numbers of the IEEE 754 standard are too crude as approximations of the real numbers. Also, at the time of writing these lines, the binary128 and decimal128 formats are very seldom implemente

HOWL

ellagic-acid

deactivate