×

计算前导项和后继项,四舍五入到最接近的值。 (英语) Zbl 1196.65089号

作者对区间运算进行了实质性的改进,只使用四舍五入到最近的浮点运算来估计浮点数的前一个和后一个。四舍五入是根据IEEE 754标准和IEEE 754-2008修订标准定义的。本文的主要贡献是为任何基数计算包含浮点算术运算的区间的界提供了一个简单有效的算法。

MSC公司:

65克50 舍入误差
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] 美国国家标准协会、电气与电子工程师协会。IEEE Radix-Independent浮点算法标准。ANSI/IEEE标准,标准854–1987(1987)
[2] 博尔多(Boldo),S.:前葡萄球菌(Preuves formelles en arithmétiquesávirgule flottante)。里昂高等师范学院博士论文(2004)
[3] Boldo,S.,Muller,J.-M.:一些函数可以用fused-mac计算。收录:Montuschi,P.,Schwarz,E.(编辑)《第17届计算机算术研讨会论文集》,第52-58页,美国科德角(2005)
[4] Cody,W.J.Jr.,Coonen,J.T.:算法722:支持IEEE二进制浮点运算标准的函数。ACM事务处理。数学。柔和。19(4), 443–451 (1993) ·Zbl 0890.65019号 ·doi:10.1145/168173.168185
[5] Daumas,M.,Rideau,L.,Théry,L.:浮点数的通用库及其在精确计算中的应用。摘自:第十四届高阶逻辑定理证明国际会议,苏格兰爱丁堡,第169-184页(2001)·Zbl 1005.68544号
[6] 电气和电子工程师协会:浮点运算IEEE标准。IEEE标准754-2008。ANSI-IEEE标准754-1985的修订版。2008年6月12日批准:IEEE标准委员会
[7] Kearfott,R.B.,Dawand,M.,Du,K.,Hu,C.:算法737:INTLIB:可移植的Fortran 77区间标准函数库。ACM事务处理。数学。柔和。20(4), 447–459 (1994) ·Zbl 0888.65057号 ·数字对象标识代码:10.1145/198429.198433
[8] Rump,S.M.,Ogita,T.,Oishi,S.:精确浮点求和第一部分:精确取整。SIAM J.科学。计算。(SISC)31(1),189-224(2008)·Zbl 1185.65082号 ·doi:10.1137/050645671
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。