喧闹
发表于 2025-3-28 14:41:45
http://reply.papertrans.cn/43/4214/421330/421330_41.png
谆谆教诲
发表于 2025-3-28 21:40:12
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
发表于 2025-3-29 00:26:19
http://reply.papertrans.cn/43/4214/421330/421330_43.png
小步舞
发表于 2025-3-29 06:01:14
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
的’
发表于 2025-3-29 09:13:51
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
发表于 2025-3-29 15:20:28
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
发表于 2025-3-29 18:40:15
http://reply.papertrans.cn/43/4214/421330/421330_47.png
ellagic-acid
发表于 2025-3-29 22:12:45
http://reply.papertrans.cn/43/4214/421330/421330_48.png
deactivate
发表于 2025-3-30 01:45:22
http://reply.papertrans.cn/43/4214/421330/421330_49.png