弗雷德里克·古阿拉德 如何计算区间的中点？ （英语） Zbl 1305.65252号 ACM事务处理。数学。柔和。 40，第2号，第11条，第25页（2014年）. 引用于6文件 MSC公司： 6504年 计算机算术的数值算法等。 65G30型 区间和有限算术 65克50 舍入误差 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：浮点数;IEEE 754标准;区间算术;中点;舍入误差 软件：细屑++;监狱;C-XSC（C-XSC）;RealPaver公司;mctoolbox软件;个人资料/偏差;国际实验室;IBEX公司;Boost Interval算术;促进 PDF格式BibTeX公司 XML格式引用 \textit{F.Goualard}，ACM翻译。数学。柔和。40，第2号，第11条，第25页（2014；Zbl 1305.65252） 全文： 内政部 哈尔 参考文献： [1] G.E.Alefeld和J.Herzberger。1983.区间计算简介。学术出版社·Zbl 0552.65041号 [2] H.Brö；nnimann、G.Melquiond和S.Pion。2006.Boost区间算术库的设计。西奥。计算。科学。351, 1, 111–118. ·Zbl 1086.65046号 [3] G.Chabert、I.Araya、B.Neveu、L.Jaulin、G.Trombettoni和A.Baire。2012.IBEX约束求解器。http://www.emn.fr/z-info/ibex/。 [4] A.雾。2012.Intel、AMD和VIA CPU的微体系结构。面向汇编程序员和编译器制造商的优化指南。哥本哈根大学工程学院技术代表。 [5] G.E.福赛特。1966.你如何解二次方程&quest；斯坦福大学计算机科学系技术代表CS40。 [6] G.E.福赛特。1970年计算的陷阱，或者为什么一本数学书不够。阿默尔。数学。每月77、9、931–956·Zbl 0207.15401号 ·doi:10.2307/2318109 [7] D.戈德堡，1991年。每一位计算机科学家都应该了解浮点运算。ACM计算。Surv公司。23, 1, 5–48. ·doi:10.1145/103162.103163 [8] F.古拉德。2010年，GAOL 4.0RC：不仅仅是另一个区间算术库5.0版。南特大西洋信息实验室。http://sourceforge.net/projects/gaol。 [9] L.Granvilliers和F.Benhamou。2006.算法852:Realpaver:使用约束满足技术的区间解算器。ACM事务处理。数学。柔和。32, 1, 138–156. ·Zbl 1346.65020号 ·doi:10.1145/1132973.1132980 [10] R.Hammer、D.Ratz、U.Kulisch和M.Hocks。1997年C&plus&加号；验证科学计算工具箱I：基本数值问题。斯普林格·Zbl 0828.68041号 [11] J.R.豪泽。1996.处理数字程序中的浮点异常。ACM事务处理。程序。语言系统。18, 2, 139–174. ·数字对象标识代码：10.1145/227699.227701 [12] B.海耶斯。2003年，清醒的间歇。阿默尔。科学家91，6，484–488·doi:10.1511/2003.6.484 [13] N.J.海姆。2002.数值算法的准确性和稳定性。第2版SIAM·Zbl 1011.65010号 ·doi:10.137/1.9780898718027 [14] W.Hofschuster和W.Krä；梅尔。1998年。Fi lib，eine schnelle und portable funktions图书馆fü；r卷筒论证和卷筒间隔为双形式。技术代表98/7，研究所fü；r Wissenschaftliches Rechnen und Mathematische Modellbildung（IWRMM）and der Universityä；t卡尔斯鲁厄。 [15] 电气与电子工程师协会。1985年IEEE二进制浮点运算标准。技术代表IEEE标准754-1985，IEEE。1990年再次确认。 [16] 电气与电子工程师协会。2008年IEEE浮点运算标准。IEEE标准IEEE Std 754-2008，IEEE计算机协会。 [17] IEEE 1788。2013年IEEE间隔标准工作组&verar；第1788页。http://grouper.iee.org/groups/1788/。 [18] 英特尔。2007.英特尔64与IA-32体系结构软件开发人员手册：第1卷，基本体系结构。手册253665-025US，Intel Corporation。 [19] R.B.Kearfott。1990年。区间高斯-赛德尔方法的先决条件。SIAM J.数字。分析。27, 3, 804–822. ·Zbl 0713.65037号 ·数字对象标识代码：10.1137/0727047 [20] O.Knü；佩尔。1994年，PROFIL/BIAS&verbar；快速间隔库。计算53，277–287·Zbl 0808.65055号 [21] M.Lerch、G.Tischler、J.W.V.Gudenberg、W.Hofschuster和W.Krä；梅尔。2006年Filib&plus&加号；，支持包含计算的快速间隔库。ACM事务处理。数学。Softw软件32、299–324·Zbl 1365.65140号 [22] R.E.摩尔。1966.区间分析。新泽西州恩格尔伍德悬崖普伦蒂斯·霍尔·Zbl 0176.13301号 [23] A.诺伊迈尔。1990.方程组的区间方法。数学及其应用百科全书系列，第37卷。剑桥大学出版社·Zbl 0715.65030号 [24] A.纽梅尔。2010年，私人通信。 [25] H.Ratschek。1980年。居中形式。SIAM J.数字。分析。17, 5, 656–662. ·Zbl 0456.65019号 ·doi:10.1137/0717055 [26] H.Ratschek和J.Rokne。1984.函数范围的计算机方法。数学及其应用。Ellis Horwood有限公司·Zbl 0584.65019号 [27] S.臀部。1999年a。快速并行区间算法。位数字。数学。39, 3, 534–554. ·兹伯利0942.65048 ·doi:10.1023/A:1022374804152 [28] S.臀部。1999年b。INTLAB：神经实验室。《可靠计算的发展》，T.Csendes，Ed.，Kluwer Academic Publishers，Dordrecht，77–104。http://www.ti3.tu-harburg.de/rump/。 ·Zbl 0949.65046号 [29] P.斯特本斯。1974年，浮点计算。普伦蒂斯·霍尔。 [30] D.Zuras和N.T.Hayes。2012.中点和无限区间。技术代表，P1788工作组。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。