齐格弗里德·M·臀部。;保罗·齐默尔曼;西尔维·博尔多;纪尧姆·梅尔金德 计算前导项和后继项,四舍五入到最接近的值。 (英语) Zbl 1196.65089号 比特币 49,第2期,419-431(2009). 作者对区间运算进行了实质性改进,仅使用浮点运算四舍五入即可估计浮点数的前导和后继。四舍五入是根据IEEE 754标准和IEEE 754-2008修订标准定义的。本文的主要贡献是为任何基数计算包含浮点算术运算的区间的界提供了一个简单有效的算法。审核人:杰克·贾利维茨(马赛) 引用于7文件 MSC公司: 65克50 舍入误差 关键词:浮点运算;四舍五入到最近值;定向舍入;算法 软件:算法722;国际图书馆 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Rump}等人,BIT 49,No.2,419--431(2009;Zbl 1196.65089) 全文: 内政部 链接 参考文献: [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号 ·doi:10.145/198429.198433 [8] Rump,S.M.,Ogita,T.,Oishi,S.:精确浮点求和第一部分:忠实舍入。SIAM J.科学。计算。(国际统一制度委员会)31(1),189–224(2008)·Zbl 1185.65082号 ·doi:10.1137/050645671 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。