戈茨·阿勒菲尔德；Günter Mayer 区间分析：理论与应用。 （英语） Zbl 0995.65056号 J.计算。申请。数学。 121，编号1-2，421-464（2000）. 小结：我们概述了区间算法的应用。其中，我们讨论了线性方程组、非线性系统、代数特征值问题、常微分方程初值问题和二阶椭圆偏微分方程边值问题的验证方法。我们还考虑了该领域中的项目软件，并给出了一些历史评论。 引用于102文件 MSC公司： 65G30型 区间和有限算术 65-02 与数值分析相关的研究展览（专著、调查文章） 76F10层 剪切流和湍流 2015财年65 矩阵特征值和特征向量的数值计算 65克40 区间分析的一般方法 65G20个 具有自动结果验证的算法 65H10型 方程组解的数值计算 65升05 常微分方程初值问题的数值解法 65号06 含偏微分方程边值问题的有限差分方法 65日元 数值算法的封装方法 关键词：调查文件；非线性方程组；线性方程组；代数特征值问题；常微分方程；偏微分方程；软件；区间算术；验证方法 软件：C-XSC 2.0版；FORTRAN-XSC公司；C-XSC（C-XSC）；PASCAL-XSC公司 PDF格式BibTeX公司 XML格式引用 \textit{G.Alefeld}和\textit{G.Mayer}，J.Compute。申请。数学。121，编号1--2，421--464（2000；Zbl 0995.65056） 全文： 内政部 参考文献： [1] 亚当斯，E。；Kulisch（Eds.），U.，《带自动结果验证的科学计算》（1993），学术出版社：波士顿学术出版社·Zbl 0773.00004号 [2] 阿尔布雷希特，R。；Alefeld，G。；Stetter（Eds.），H.J.，《验证数值、理论和应用》（1993），施普林格出版社：施普林格-维恩出版社·Zbl 0784.00013号 [3] G.Alefeld，Intervallrechnungüber den komplexen Zahlen und einige Anwendungen，卡尔斯鲁厄卡尔斯鲁赫大学博士论文，1968年。；G.Alefeld，Intervallrechnungüber den komplexen Zahlen und einige Anwendungen，卡尔斯鲁厄卡尔斯鲁赫大学博士论文，1968年。 [4] Alefeld，G.，Un ber die Durchführbarkeit des Gaußschen Algorithmus bei Gleichungen mit Intervallen als Koeffizienten，计算。补充，1，15-19（1977）·Zbl 0361.65017号 [5] Alefeld，G.，《多项式斜率的边界及其应用》，《计算》，26，227-237（1981）·兹比尔0444.65027 [6] Alefeld，G.，Berechenbare Fehlerschranken für ein Eigenpaar unter Einschlußvon Rundungsfehlern bei Verwendung des genauen Skalarprodukts，Z.Angew。数学。机械。，67, 145-152 (1987) ·Zbl 0622.65028号 [7] Alefeld，G.，使用精确标量积的矩阵奇异值的严格误差界，（Kaucher，E.；Kulisch，U.；Ullrich，C.，Computeralgorithm（1987），B.G.Teubner:B.G.Tuubner Stuttgart），9-30 [8] Alefeld，G.，《Divergenzverhalten des Intervall-Newton-Verfahrens计算机》，46，289-294（1991）·Zbl 0753.65044号 [9] Alefeld，G.，《非线性方程组的包含方法——区间牛顿法及其修正》（Herzberger，J.，《验证计算主题》（1994），Elsevier:Elsevier Amsterdam），7-26·Zbl 0822.65029号 [10] Alefeld，G。；Ginger，A。；Mayer，G.，逆矩阵特征值问题的数值验证，计算，53311-322（1994）·Zbl 0813.65076号 [11] Alefeld，G。；Gienger，A。；Potra，F.，非线性系统解的有效数值验证，SIAM J.Numer。分析。，31, 252-260 (1994) ·Zbl 0796.65068号 [12] 阿莱菲尔德，G。；Herzberger，J.，Einführung in die Intervallrechnung（1974），书目研究所：曼海姆书目研究院·Zbl 0333.65002号 [13] Alefeld，G。；Herzberger，J.，《区间计算导论》（1983），学术出版社：纽约学术出版社·Zbl 0552.65041号 [14] Alefeld，G。；霍夫曼，R。；Mayer，G.，广义奇异值的验证算法，数学。纳克里斯。，208, 5-29 (1999) ·Zbl 0939.65065号 [15] Alefeld，G。；克里诺维奇，V。；Mayer，G.，《关于对称、过对称和偏对称解集的形状》，SIAM J.Matrix Anal。申请。，18, 693-705 (1997) ·Zbl 0873.15003号 [16] Alefeld，G。；克里诺维奇，V。；Mayer，G.，具有相关系数的线性区间方程解集的形状，数学。纳克里斯。，192, 23-36 (1998) ·兹比尔0907.15003 [17] G.Alefeld，V.Kreinovich，G.Mayer，《关于特定类线性系统的解集》，提交出版。；G.Alefeld，V.Kreinovich，G.Mayer，《关于特定类线性系统的解集》，提交出版·Zbl 1019.65023号 [18] Alefeld，G。；Lohner，R.，《论高阶中心形式》，《计算》，35，177-184（1985）·Zbl 0564.65031号 [19] Alefeld，G。；Mayer，G.，区间数据的Cholesky方法，线性代数应用。，194, 161-182 (1993) ·Zbl 0796.65032号 [20] Alefeld，G。；Mayer，G.，逆矩阵特征值问题的计算机辅助存在唯一性证明，国际J。区间计算。，1994, 1, 4-27 (1994) ·Zbl 0834.65027号 [21] Alefeld，G。；Mayer，G.，关于区间系统的对称和非对称解集，SIAM J.矩阵分析。申请。，16, 1223-1240 (1995) ·Zbl 0834.65012 [22] Beeck，H.，U ber Struktur und Abschätzungen der Lösungsmenge von linearen Gleichungssystemen mit Intervallkoeffizienten，计算机，10，231-244（1972）·Zbl 0255.65014号 [23] Behnke，H.公司。；Goerisch，F.，自伴问题特征值的包含，（Herzberger，J.，验证计算主题（1994），Elsevier:Elsevier Amsterdam），277-322·Zbl 0838.65060号 [24] Chen，X.，非光滑方程解的验证方法，计算，58281-294（1997）·Zbl 0882.65038号 [25] G.F.Corliss，计算定积分的窄包含，MRC技术总结报告#2913，麦迪逊大学，威斯康星州麦迪逊，1986年2月。；G.F.Corliss，计算定积分的窄包含，MRC技术总结报告#2913，麦迪逊大学，威斯康星州麦迪逊，1986年2月。 [26] G.F.Corliss，验证ODE解决方案介绍，第416号技术报告。马奎特大学，密尔沃基，威斯康星州，1995年3月。；G.F.Corliss，经验证的常微分方程求解简介，第416号技术报告。马奎特大学，威斯康星州密尔沃基，1995年3月。 [27] 科尼利厄斯，H。；Lohner，R.，计算精度高于二阶的实函数的值范围，计算，331-347（1984）·Zbl 0556.65037号 [28] H.-J.Dobner，Einschließungsalgorithmen für hyperpolische Differentialgleichungen，论文，卡尔斯鲁厄大学，卡尔斯鲁，1986年。；H.-J.Dobner，Einschließungsalgorithmen für hyperpolische Differentialgleichungen，论文，卡尔斯鲁厄大学，卡尔斯鲁，1986年。 [29] Dwyer，P.S.，《线性计算》（1951年），威利：威利纽约·Zbl 0044.12804号 [30] P.Eijgenraam，用区间算法求解初值问题。算法的制定和分析，论文，数学中心，阿姆斯特丹，1981年。；P.Eijgenraam，用区间算法求解初值问题。算法的制定和分析，论文，数学中心，阿姆斯特丹，1981年·Zbl 0471.65043号 [31] W.Enger，Intervall Ray Tracing-Ein Divide and Conquer Verfahren für photoralitistische Computergrafik，弗莱堡大学论文，1990年。；W.Enger，Intervall Ray Tracing-Ein Divide and Conquer Verfahren für photoralistische Computergrafik，弗莱堡大学论文，1990年。 [32] A.Ginger，Zur Lösungsverifikation bei Fredholmschen Integralglechungen zweiter Art，论文，卡尔斯鲁厄卡尔斯鲁赫大学，1997年。；A.Ginger，Zur Lösungsverifikation bei Fredholmschen Integralglechungen zweiter Art，论文，卡尔斯鲁厄卡尔斯鲁赫大学，1997年。 [33] Golub，G.H。；van Loan，C.F.，《矩阵计算》（1995），约翰·霍普金斯：约翰·霍普金斯·巴尔的摩 [34] Griewank，A。；Corliss（编辑），G.F.，《算法的自动区分》（1992），SIAM:SIAM Philadelphia，PA [35] H.Grell，K.Maruhn，W.Rinow（编辑），Enzyklopädie der Elementarmathematik，Band I Arithmetik，Dritte Auflage，VEB Deutscher Verlag der Wissenschaften，柏林，1966年。；H.Grell，K.Maruhn，W.Rinow（编辑），Enzyklopädie der Elementarmathematik，Band I Arithmetik，Dritte Auflage，VEB Deutscher Verlag der Wissenschaften，柏林，1966年·Zbl 0161.00902号 [36] 锤子，R。；霍克斯，M。；库利什，美国。；Ratz，D.，验证计算的数值工具箱I（1993），施普林格：施普林格柏林·Zbl 0796.65001号 [37] Hansen，E.，《使用区间分析进行全局优化的概述》，（Moore，R.E.，《计算可靠性》，《科学计算中区间方法的作用》，第19卷（1988年），学术出版社：波士顿学术出版社），289-307·Zbl 0658.65059号 [38] Hansen，E.，使用区间分析的全局优化（1992），Dekker：Dekker纽约·Zbl 0762.90069号 [39] P.Hertling，区间算术中范围封闭的下限，离散数学和理论计算机科学中心研究报告系列，奥克兰大学计算机科学系，1998年1月。；P.Hertling，区间算术中范围封闭的下限，离散数学和理论计算机科学中心研究报告系列，奥克兰大学计算机科学系，1998年1月·Zbl 1002.68003号 [40] IBM高精度算术扩展科学计算（ACRITH-XSC），通用信息GC 33-646-01，IBM公司，1990年。；IBM高精度算术扩展科学计算（ACRITH-XSC），通用信息GC 33-646-01，IBM Corp.，1990年。 [41] C.Jansson，带区间数据的实对称矩阵的严格灵敏度分析，收录于：E.Kaucher，S.M.Markov，G.Mayer（编辑），计算机算术，科学计算和数学建模，IMACS计算和应用数学年鉴，第12卷，J.C.Baltzer AG，科学出版社，巴塞尔，1994年，第293-316页。；C.Jansson，带区间数据的实对称矩阵的严格灵敏度分析，收录于：E.Kaucher，S.M.Markov，G.Mayer（编辑），计算机算术，科学计算和数学建模，IMACS计算和应用数学年鉴，第12卷，J.C.Baltzer AG，科学出版社，巴塞尔，1994年，第293-316页。 [42] Jansson，C.，《关于优化问题的自验证方法》（Herzberger，J.，验证计算主题（1994），Elsevier:Elsevier Amsterdam），381-438·Zbl 0817.65044号 [43] 考彻，E.W。；Miranker，W.L.，函数空间问题的自验证数值。《函数空间问题的自验证数值，微分和积分方程的保证计算》（1984），学术出版社：奥兰多学术出版社·Zbl 0548.65028号 [44] Kearfott，R.B.，约束全局优化问题验证解技术综述，（Kearfott，R.B.；Kreinovich，V.，区间计算的应用（1996），Kluwer:Kluwer-Dordrecht），23-59·Zbl 0841.65049号 [45] Klatte，R。；库利什，美国。；拉沃，C。；劳赫，M。；Wiethoff，A.，C-XSC。A\（C^{++}\）扩展科学计算类库（1993），施普林格：施普林格柏林·兹伯利0814.68035 [46] Klatte，R。；库利什，美国。；Neaga，M。；Ratz，D。；Ullrich，C.，PASCAL-XSC，《语言参考示例》（1992），施普林格出版社：柏林施普林格·Zbl 0757.68023号 [47] M.Koeber，Lösungseinschließung bei Anfangswertproblemen für拟线性双曲线微分gleichungen，论文，卡尔斯鲁厄大学，卡尔斯鲁，1997。；M.Koeber，Lösungseinschließung bei Anfangswertproblemen für准线双曲线微分gleichungen，论文，卡尔斯鲁厄大学，卡尔斯鲁，1997。 [48] Krawczyk，R.，Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken，计算机，4187-201（1969）·Zbl 0187.10001号 [49] U.Kulisch，Grundzüge der Intervallrechnung，收录于：Jahrbuchüberblicke Mathematik，第2卷，书目研究所，曼海姆，1969年。；U.Kulisch，Grundzüge der Intervallrechnung，收录于：Jahrbuchüberblicke Mathematik，第2卷，书目研究所，曼海姆，1969年·Zbl 0181.16902号 [50] U.Kulisch，《带自动结果验证的数值算法》，《应用数学讲座》，1996年第32卷，第471-502页。；U.Kulisch，《带自动结果验证的数值算法》，《应用数学讲座》，1996年第32卷，第471-502页·Zbl 0856.65049号 [51] J.-R Lahmann，Eine Methode zur Einschließung von Eigenpaaren nichtselbstagnierter Eigenwertprobleme und ihre Anwendung auf die Orr-Sommerfeld-Gleichung，卡尔斯鲁厄卡尔斯鲁赫大学论文，1999年。；J.-R Lahmann，Eine Methode zur Einschließung von Eigenpaaren nichtselbstagnierter Eigenwertprobleme und ihre Anwendung auf die Orr-Sommerfeld-Gleichung，卡尔斯鲁厄卡尔斯鲁赫大学论文，1999年。 [52] B.Lang，Lokalisierung und Darstellung von Nullstellenmengen einer Funktion，卡尔斯鲁厄卡尔斯鲁赫大学毕业论文，1989年。；B.Lang，Lokalisierung und Darstellung von Nullstellenmengen einer Funktion，卡尔斯鲁厄卡尔斯鲁赫大学毕业论文，1989年。 [53] R.Lohner，Einschließung der Lösung gewöhnlicher Anfangs-und Randwertaufgaben und Anwendungen，卡尔斯鲁厄卡尔斯鲁赫大学论文，1988年。；R.Lohner，Einschließung der Lösung gewöhnlicher Anfangs-und Randwertaufgaben und Anwendungen，卡尔斯鲁厄卡尔斯鲁赫大学论文，1988年·Zbl 0663.65074号 [54] Lohner，R.，《封闭对称矩阵的所有特征值》，（Ullrich，C.；Wolff von Gudenberg，J.，《精确数值算法》。研究论文集，研究报告，ESPRIT，项目1072，Diamond，卷1（1989），Springer:Springer Berlin），87-103·Zbl 0675.65025号 [55] Mayer，G.，区间高斯算法的新旧方面，（Kaucher，E.；Markov，S.M.；Mayer和G.，《计算机算术、科学计算和数学建模》，《计算机运算、科学计算与数学建模》IMACS计算机与应用数学年鉴，第12卷（1991年），J.C.Baltzer AG，科学出版：J.C.Baltzer AG，科学出版巴塞尔），329-349 [56] Mayer，G.，《特征值和特征向量的封闭》（Atanassova，L.；Herzberger，J.，《计算机算术和封闭方法》（1992），Elsevier:Elsevier Amsterdam），49-67·Zbl 0838.65036号 [57] Mayer，G.，《特征向量和特征值的结果验证》（Herzberger，J.，验证计算主题（1994），Elsevier:Elsevier Amsterdam），209-276·Zbl 0813.65077号 [58] Mayer，G.，验证算法中的Epsilon膨胀，J.Compute。申请。数学。，60, 147-169 (1995) ·Zbl 0839.65059号 [59] Mayer，G.，具有收缩区间函数的Epsilon通货膨胀，应用。数学。，43, 241-254 (1998) ·Zbl 0938.65058号 [60] 梅耶尔，G。；Rohn，J.，关于区间高斯算法的适用性，可靠计算。，4, 205-222 (1998) ·兹伯利0933.65027 [61] O.Mayer，《U ber die in der Intervallrechnung auftretenden Räume und einige Anwendungen》，卡尔苏厄大学论文，卡尔斯鲁厄，1968年。；O.Mayer，《U ber die in der Intervallrechnung auftretenden Räume und einige Anwendungen》，卡尔苏厄大学论文，卡尔斯鲁厄，1968年。 [62] 米兰达，C.，Un’ostervazione su Un teorema di Brouwer，Bol。联合国。意大利材料。序列号。二、 3、5-7（1941年）·JFM 66.0217.01公司 [63] R.E.Moore，《数字计算中的区间算法和自动误差分析》，论文，斯坦福大学，1962年10月。；R.E.Moore，《数字计算中的区间算法和自动错误分析》，论文，斯坦福大学，1962年10月。 [64] Moore，R.E.，《区间分析》（1966年），新泽西州普伦蒂斯·霍尔：普伦蒂斯霍尔恩格尔伍德克利夫斯·Zbl 0176.13301号 [65] Nakao，M.T.，《保证精度的数值计算技术现状》，《数学》。日语，48，323-338（1998）·Zbl 0916.65044号 [66] N.S.Nedialkov，计算常微分方程初值问题解的严格界，多伦多大学论文，1999年。；N.S.Nedialkov，计算常微分方程初值问题解的严格界，多伦多大学论文，1999年·Zbl 1130.65312号 [67] Neher，M.，求解多项式系数线性常微分方程的封闭方法，Numer。功能。分析。最佳。，20, 779-803 (1999) ·Zbl 0936.65084号 [68] Neumaier，A.，《参数相关方程组解的封闭》，（Moore，R.E.，《计算的可靠性.计算的可靠性》，《科学计算中区间方法的作用》，第19卷（1988年），学术出版社：波士顿学术出版社），269-286·Zbl 0651.65044号 [69] Neumaier，A.，方程组的区间方法（1990），大学出版社：剑桥大学出版社·Zbl 2009年6月7日 [70] Nguyen，H.T。；克里诺维奇，V。；内斯特罗夫，V。；Nakumura，M.，《关于区间计算和软计算的硬件支持：定理》，IEEE Trans。模糊系统，5，1，108-127（1997） [71] 奥尔特加，J.M。；Rheinboldt，W.C.，多变量非线性方程的迭代解（1970），学术出版社：纽约学术出版社·Zbl 0241.65046号 [72] Oettli，W。；Prager，W.，线性方程近似解与系数和右侧给定误差界的兼容性，Numer。数学。，6, 405-409 (1964) ·Zbl 0133.08603号 [73] 佩特科维奇，M。；Petković，L.D.，《复区间算术及其应用》（1998），威利出版社，纽约·Zbl 0911.65038号 [74] Plum，M.，椭圆边值问题的包含方法，（Herzberger，J.，验证计算主题（1994），Elsevier:Elsevier Amsterdam），323-379·Zbl 0814.65105号 [75] Rall，L.B.，非线性算子方程的计算解（1969），威利：威利纽约·Zbl 0175.15804号 [76] Rall，L.B.，《自动区分：技术与应用》。自动微分：技术与应用，计算机科学讲义，第120卷（1981年），施普林格：施普林格柏林·Zbl 0473.68025号 [77] Ratschek，H.，居中形式，SIAM J.Numer。分析。，17, 656-662 (1980) ·兹比尔0456.65019 [78] Ratschek，H。；Rokne，J.，《函数范围的计算机方法》（1984），Ellis Horwood:Ellis Holwood Chichester·Zbl 0584.65019号 [79] Ratschek，H。；Rokne，J.，《用于全局优化的新计算机方法》（1988），Ellis Horwood:Ellis Holwood Chichester，英国·Zbl 0648.65049号 [80] Rihm，R.，ODE初值问题的区间方法，（Herzberger，J.，验证计算主题（1994），Elsevier:Elsevier Amsterdam），173-207·Zbl 0815.65095号 [81] Rump，S.M.，《高精度求解代数问题》（Kulisch，U.W.；Miranker，W.L.，《科学计算的新方法》（1983），学术出版社：纽约学术出版社），53-120·Zbl 0597.65018号 [82] Rump，S.M.，线性和非线性方程组的严格灵敏度分析，数学。公司。，54, 721-736 (1990) ·Zbl 0701.65039号 [83] Rump，S.M.，关于区间线性系统的解，计算，47，337-353（1992）·Zbl 0753.65030号 [84] Rump，S.M.，稠密和稀疏方程组的验证方法，（Herzberger，J.，验证计算主题（1994），Elsevier:Elsevier Amsterdam），63-135·Zbl 0813.65072号 [85] Schrijver，A.，《线性和整数规划理论》（1986），威利出版社：威利纽约·Zbl 0665.90063号 [86] H.Schwandt，Schnelle fast global konvergente Verfahren für die fünf-Punkte-Diskretisierung der Poissongleichung mit Dirichletschen Randbedingen auf Rechteckgebieten，论文，柏林大学数学系，1981年。；H.Schwandt，Schnelle fast global konvergente Verfahren für die fünf-Punkte-Diskretisierung der Poissongleichung mit Dirichletschen Randbedingen auf Rechteckgebieten，论文，柏林大学数学系，1981年·Zbl 0474.65037号 [87] Shary，P.S.，《解决线性区间公差问题》，数学。计算。模拟，39，53-85（1995） [88] Sunaga，T.，区间代数理论及其在数值分析中的应用，RAAG回忆录，229-46（1958）·Zbl 0176.13201号 [89] Walter，W.V.，《FORTRAN-XSC：用于准确可靠科学计算的便携式FORTRAN 90模块库》，（Albrecht，R.；Alefeld，G.；Stetter，H.J.，《验证数值、理论和应用》（1993），Springer:Springer-Wien），265-285·Zbl 0802.68022号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。