Verified sharp bounds for the real gamma function over the entire floating-point range
Verified sharp bounds for the real gamma function over the entire floating-point range
复制标题
验证了整个浮点范围内真实伽马函数的锐界
DOI：
10.1587/nolta.5.339
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
S. Rump
中科院分区：
文献类型：
--
作者：
S. Rump
提出了一种算法，用于计算整个真实的双精度浮点范围内的伽马函数值的验证和准确的界限。这意味着对于除极点−k（0 ≤ k ∈ N）之外的所有双精度浮点数x，Γ（x）的真值包含在具有浮点边界的几乎最大精度区间内。还讨论了它在区间变元x ∈ IF上的应用，从而封闭了Γ在x上的值域。
An algorithm is presented for computing verified and accurate bounds for the value of the gamma function over the entire real double precision floating-point range. It means that for every double precision floating-point number x except the poles −k for 0 ≤ k ∈ N the true value of Γ(x) is included within an almost maximally accurate interval with floating-point bounds. The application to interval arguments x ∈ IF, thus enclosing the range of Γ over x, is discussed as well.
影响因子：
2.1
作者：
通讯作者：
--