GRASS
发表于 2025-3-21 19:39:33
书目名称Handbook of Floating-Point Arithmetic影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0421331<br><br> <br><br>书目名称Handbook of Floating-Point Arithmetic影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0421331<br><br> <br><br>书目名称Handbook of Floating-Point Arithmetic网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0421331<br><br> <br><br>书目名称Handbook of Floating-Point Arithmetic网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0421331<br><br> <br><br>书目名称Handbook of Floating-Point Arithmetic被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0421331<br><br> <br><br>书目名称Handbook of Floating-Point Arithmetic被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0421331<br><br> <br><br>书目名称Handbook of Floating-Point Arithmetic年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0421331<br><br> <br><br>书目名称Handbook of Floating-Point Arithmetic年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0421331<br><br> <br><br>书目名称Handbook of Floating-Point Arithmetic读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0421331<br><br> <br><br>书目名称Handbook of Floating-Point Arithmetic读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0421331<br><br> <br><br>
RADE
发表于 2025-3-22 00:00:52
http://reply.papertrans.cn/43/4214/421331/421331_2.png
Barter
发表于 2025-3-22 02:20:21
https://doi.org/10.1007/978-3-658-32173-4ns arise in many fields of numerical computing. Computing sums is required, e.g., in numerical integration and the computation of means and variances. Dot products appear everywhere in numerical linear algebra. Polynomials are used to approximate many functions (see Chapter 11).
共同确定为确
发表于 2025-3-22 05:46:30
https://doi.org/10.1007/978-3-663-07617-9ion, subtraction, multiplication, division, and square root. We will also study the fused multiply-add (FMA) operator. We review here some of the known properties and algorithms used to implement each of those operators. Chapter 9 and Chapter 10 will detail some examples of actual implementations in, respectively, hardware and software.
荨麻
发表于 2025-3-22 11:51:14
https://doi.org/10.1007/978-3-658-37731-1ndeed, floating-point arithmetic introduces numerous special cases, and examining all the details would be tedious. As a consequence, the certification process tends to focus on the main parts of the correctness proof, so that it does not grow out of reach.
拍下盗公款
发表于 2025-3-22 13:45:58
Enhanced Floating-Point Sums, Dot Products, and Polynomial Valuesns arise in many fields of numerical computing. Computing sums is required, e.g., in numerical integration and the computation of means and variances. Dot products appear everywhere in numerical linear algebra. Polynomials are used to approximate many functions (see Chapter 11).
使入迷
发表于 2025-3-22 20:47:30
Algorithms for the Five Basic Operationsion, subtraction, multiplication, division, and square root. We will also study the fused multiply-add (FMA) operator. We review here some of the known properties and algorithms used to implement each of those operators. Chapter 9 and Chapter 10 will detail some examples of actual implementations in, respectively, hardware and software.
WATER
发表于 2025-3-22 23:39:22
Formalisms for Certifying Floating-Point Algorithmsndeed, floating-point arithmetic introduces numerous special cases, and examining all the details would be tedious. As a consequence, the certification process tends to focus on the main parts of the correctness proof, so that it does not grow out of reach.
包裹
发表于 2025-3-23 01:44:44
http://reply.papertrans.cn/43/4214/421331/421331_9.png
使满足
发表于 2025-3-23 07:40:51
http://reply.papertrans.cn/43/4214/421331/421331_10.png