×

数学ZBZ-数学第一资源

在计算过程中,与前辈和最接近的后继者进行舍入。(英语) Zbl 1196.65089
作者对区间运算提出了一个实质性的改进,给出了一个浮点数的前导和后继数的估计。四舍五入是根据IEEE 754标准和IEEE 754-2008修订标准定义的。本文的主要贡献是为任何基数计算包含浮动算术运算的区间的界提供了一个简单而有效的算法。

理学硕士:
65克50 舍入误差
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 美国国家标准协会,电气和电子工程师协会。基数无关浮点运算的IEEE标准。ANSI/IEEE标准,标准854-1987(1987)
[2] 波尔多,S.:从一开始就有一个完整的故事。里昂高等师范学院博士论文(2004)
[三] Boldo,S.,Muller,J.-M:一些可以用融合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
[5] Daumas,M.,Rideau,L.,Théry,L.:浮点数的通用库及其在精确计算中的应用。第14届高阶逻辑定理证明国际会议,苏格兰爱丁堡,第169-184页(2001)·Zbl 1005.68544号
[6] 电气和电子工程师协会:浮点运算的IEEE标准。IEEE标准754-2008。ANSI-IEEE标准754-1985的修订版。2008年6月12日批准:IEEE标准委员会
[7] Kearfott,R.B.,Dawande,M.,Du,K.,Hu,C.:算法737:INTLIB:一个可移植的Fortran 77间隔标准函数库。ACM传输。数学。软。第20卷第4期,第447-459页(1994年)·Zbl 0888.65057
[8] Rump,S.M.,Ogita,T.,Oishi,S.:精确浮点求和第一部分:忠实舍入。暹罗科学杂志。计算机。(SISC)31(1),189–224(2008年)·Zbl 1185.65082
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。