J.D.普莱斯。;科尔利斯，G.F。 包含集的区间算法。 （英语） Zbl 1108.65043号 计算 78，第3期，251-276（2006）. 小结：包含集（csets）的思想源于Walster和Hansen，而该理论主要源于第一作者[cf。J.D.普莱斯，控制装置简介。技术报告DoIS/TR01/05，英国斯温登克兰菲尔德大学施里文汉姆校区信息系统系（2005）]。现在，具有无穷大的浮点计算被广泛接受，有必要在区间计算中实现同样的计算。函数在其域空间中的集上的\（cset \）是该集上正规函数值的所有极限的集合\（Csets）为定义一些实用的区间算术模型奠定了坚实的基础，这些模型以直观和一致的方式处理除法和相关运算\基于（Cset\）的系统通过重新排列区间表达式，通过减少表达式内的依赖性来实现更严格的边界，从而为编译器优化提供了新的机会。本文介绍了基本理论。它讨论了按零除法，即全局标志支持“松散”计算、性能和语义的情况。它使用Matlab的试用实现提供了数值示例。 引用于7文件 MSC公司： 65G30型 区间和有限算术 54天35分 空间的扩展（压缩、超压缩、补全等） 关键词：区间算术;验证计算;被零除;无穷;安全壳组件;数值示例;Matlab实现 软件：国际图书馆;细屑++;国际实验室;Matlab公司;b4米 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Pryce}和\textit{G.F.Corliss}，《计算》78，第3期，251--276（2006；Zbl 1108.65043） 全文： 内政部 参考文献： [1] 美国国家标准协会：二进制浮点运算IEEE标准，ANSI/IEEE标准754–1985。纽约，1985年。 [2] 美国国家标准协会：IEEE 754的拟议修订版。http://754r.ucbtest.org。 [3] Beeson，M.，Wiedijk，F.：微积分和计算机代数系统中无穷大的含义。In：程序。人工智能、自动推理和符号计算联合国际会议，第246-258页。斯普林格2002·Zbl 1072.68648号 [4] Kahan，W.M.：一个更完整的区间算法。密歇根大学暑期课程讲义，1968年。 [5] Kearfott，R.B.，Dawand，M.，Du，K.-S.，Hu，C.-Y.：算法737:INTLIB，一个便携式FORTRAN 77区间标准函数库。ACM事务处理。数学。软件20（4），447–4591994年12月·Zbl 0888.65057号 [6] Knüppel，O.：BIAS–基本区间算术子程序。技术报告99.3，Berichte des Forschungsschwerpunktes Informations-und Kommunikationstechnik，汉堡技术大学，1993年·Zbl 0802.65078号 [7] 兰博夫：2006年1月06021日达格斯图尔研讨会上的讲话。金砖四国，丹麦奥胡斯大学计算机科学系(barnie@brics.dk). [8] Lerch，M.，Tischler，G.，Wolff von Gudenberg，J.：FILIB++，支持包容计算的快速区间库。ACM事务处理。数学。软件32（2），299–3242006年6月。http://doi.acm.org/10.1145/1141885.1141893。 ·Zbl 1365.65140号 [10] Pryce，J.D.：围堵装置简介。技术报告DoIS/TR01/05，信息系统系，英国斯温顿克兰菲尔德大学施里文汉姆校区，2005年。 [11] Ratz，D.：包合同位素扩展区间算法——工具箱更新。德国卡尔斯鲁厄大学Angewandte Mathematik研究所，1996年。可在ftp://iamk4515.mathematik.uni-karlsruhe.de/pub/documents/reports。 [12] Rump，S.M.：INTLAB Interval工具箱，5.2版。德国汉堡技术大学，1999-2006年。www.ti3.tu-harburg.de/intlab.ps.gz。 [13] Sun Microsystems:Forte[tm]C++编译器中的区间算法。www.sun.com/forte/cplusplus/interval/，2000年。 [14] Sun Microsystems:Forte[tm]Fortran 95编译器中的区间算法。www.sun.com/forte/fortran/interval/，2000年。 [15] Winter，L.：发布到电子讨论组“关于C++时间间隔标准化的讨论”，std-interval@compgeom.poly.edu2006年3月至7月。夏普软件，5 Bellingrath Place，Nashua，New Hampshire，USA。 [16] Wolff von Gudenberg，J.：2006年1月，达格斯图尔研讨会06021上的私人交流。德国瓦茨堡大学第三信息研究所。wolff@informatik.uni-werzburg.de。 [17] Zemke，J.：b4m:MATLAB的自由区间算法工具箱。技术报告，汉堡-汉堡理工大学，Technische Informatik III，Eissendorfer Str.38，21071 Hamburg，Germany，1998年。可在网址：http://www.ti3.tu-harburg.de/泽姆克/b4m/。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。