弗拉基克·克里诺维奇;臀部,齐格弗里德 关于多精度算法的最佳使用:备注。 (英语) 兹比尔1098.65046 Reliab公司。计算。 第5365-369号第12页(2006年).MSC公司:65G20个 PDF格式BibTeX公司 XML格式引用 \textit{V.Kreinovich}和\textit{S.Rump},Reliab。计算。12,第5号,365-369(2006;Zbl 1098.65046) 全文: DOI程序 链接
基尔,克里斯蒂安;克里斯蒂安·詹森 Netlib线性编程库具有严格误差界限的计算经验。 (英语) Zbl 1099.65051号 Reliab公司。计算。 12,第4期,303-321(2006).MSC公司:65千5 65G20个 65G30型 90C05(二氧化碳) 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{C.Keil}和\textit{C.Jansson},Reliab。计算。12,第4号,303--321(2006;Zbl 1099.65051) 全文: DOI程序 链接
沃尔特劳德·休耶;阿诺德·诺伊梅尔 射线积分近似和可行性验证。 (英语) Zbl 1048.65061号 Reliab公司。计算。 195-207年第3期第10期(2004年).MSC公司:65千5 65G20个 65楼30 90立方厘米 90C05(二氧化碳) 15A39型 PDF格式BibTeX公司 XML格式引用 \textit{W.Huyer}和\textit{A.Neumaier},Reliab。计算。10,第3号,195--207(2004;Zbl 1048.65061) 全文: DOI程序
阿诺德·诺伊梅尔 泰勒形式——使用和限制。 (英语) 兹比尔1071.65070 Reliab公司。计算。 9,第1期,43-79(2003).MSC公司:65G30型 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{A.Neumaier},Reliab(信实)。计算。9,第1号,43--79(2003;Zbl 1071.65070) 全文: DOI程序
杰斯·霍夫肯斯;马丁·伯茨;恭子马基诺 控制小行星ODE解决方案中的包裹效果。 (英语) Zbl 1219.70003号 Reliab公司。计算。 9,第1期,21-41(2003).MSC公司:70-08 65G20个 65升05 2015年1月70日 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoefkens}等人,Reliab。计算。9,第1号,第21--41条(2003年;Zbl 1219.70003) 全文: DOI程序
汉斯·尤尔根·多布纳 封闭第一类Fredholm方程解的核分裂技术。 (英语) Zbl 1018.65148号 Reliab公司。计算。 8,第6号,469-479(2002). 审核人:瑟伦·克里斯蒂安森(林比) MSC公司:65兰特 45B05型 65G20个 PDF格式BibTeX公司 XML格式引用 \文本{H.-J.Dobner},宗教。计算。第8号,第6469-479页(2002年;兹bl 1018.65148) 全文: DOI程序
R.Baker Kearfott先生 非光滑函数的存在唯一性验证。 (英语) Zbl 0999.65041号 Reliab公司。计算。 8,第4期,267-282(2002).MSC公司:65H10型 65G20个 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.B.Kearfott},Reliab(瑞卜)。计算。8,第4号,267--282(2002;Zbl 0999.65041) 全文: DOI程序
内迪亚科夫(Nedialko S.)。;Kenneth R.杰克逊。;约翰·普莱斯。 一种有效的高阶区间方法,用于验证常微分方程IVP解的存在性和唯一性。 (英语) Zbl 1003.65077号 Reliab公司。计算。 7,第6号,449-465(2001). 审核人:H.Ratschek(杜塞尔多夫) MSC公司:65升05 65G40型 65G20个 34A60号 34A34飞机 PDF格式BibTeX公司 XML格式引用 \textit{N.S.Nedialkov}等人,Reliab。计算。7,第6号,449--465(2001;Zbl 1003.65077) 全文: DOI程序
马丁·伯茨;杰斯·霍夫肯斯 验证了函数相关性和区间牛顿法的高阶反演。 (英语) Zbl 1016.65030号 Reliab公司。计算。 7,第5号,379-398(2001).MSC公司:65H10型 65克20 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Berz}和\textit{J.Hoefkens},Reliab。计算。7,第5号,379--398(2001;Zbl 1016.65030) 全文: DOI程序
马库斯·尼赫尔 验证了分析函数泰勒系数的界。 (英语) Zbl 0987.65027号 Reliab公司。计算。 7,第4号,307-319(2001). 审核人:马蒂·武奥里宁(赫尔辛基) MSC公司:65埃05 30E10型 65D20个 65G20个 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Neher},Reliab。计算。7,第4号,307--319(2001;Zbl 0987.65027) 全文: DOI程序
是的,Dang-Khoa 插口算法和根计算。 (英语) Zbl 0986.65052号 Reliab公司。计算。 7,第3期,247-273(2001). 审核人:J.Rohn(普拉哈) MSC公司:65小时05 65G20个 11年60 PDF格式BibTeX公司 XML格式引用 \textit{D.-K.Do},Reliab。计算。7,第3号,247--273(2001;Zbl 0986.65052) 全文: DOI程序
Ohta,Yuzo 非凸多边形区间算法作为一种分析和设计鲁棒控制系统的工具。 (英语) 兹伯利0965.65094 Reliab公司。计算。 6,第3期,247-279(2000). 审核人:赫伯特·费舍尔(慕尼黑) MSC公司:65K10码 65G40型 65G20个 93D09型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ohta},Reliab。计算。6,第3号,247--279(2000;Zbl 0965.65094) 全文: DOI程序
沃纳·霍夫舒斯特;沃尔特·克雷默 网络上的数学函数软件——这些代码对验证算法有用吗? (英语) Zbl 0958.65025号 Reliab公司。计算。 6,第2期,207-218(2000). 审核人:S.K.Rangarajan(班加罗尔) MSC公司:65D20个 65-02 33-04 65G20个 65日元 PDF格式BibTeX公司 XML格式引用 \textit{W.Hofschuster}和\textit{W.Krämer},Reliab。计算。6,第2号,207--218(2000;Zbl 0958.65025) 全文: DOI程序
渡边吉隆;山本信仁;Nakao,Mitsuhiro T。 Navier-Stokes方程解的数值验证方法。 (英语) Zbl 0947.65121号 Reliab公司。计算。 5,第3期,347-357(1999).MSC公司:65N30型 76D05型 76米10 35季度30 65奈拉 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{Y.Watanabe}等人,Reliab。计算。5,第3号,347--357(1999;Zbl 0947.65121) 全文: DOI程序
安德烈亚斯·弗洛默;安德烈·温伯格 通过Lanczos过程验证线性系统的误差界。 (英语) Zbl 0947.65050号 Reliab公司。计算。 5,第3期,255-267(1999).MSC公司:65楼30 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{A.Frommer}和\textit{A.Weinberg},Reliab。计算。5,第3号,255--267(1999;Zbl 0947.65050) 全文: DOI程序
Neli S.Dimitrova。;Svetoslav M.马尔科夫。 验证了快速递减多项式的计算。 (英语) Zbl 0947.65020号 Reliab公司。计算。 5,第3期,229-240(1999).MSC公司:65D20个 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{N.S.Dimitrova}和\textit{S.M.Markov},Reliab。计算。5,第3号,229--240(1999;Zbl 0947.65020) 全文: DOI程序
迈克尔·勒奇;沃尔夫·冯·古登堡(Jürgen Wolff von Gudenberg) 点积表达式的表达式模板。 (英语) Zbl 0936.65058号 Reliab公司。计算。 第5期,第1期,第69-80页(1999年).MSC公司:65楼30 2005年5月 65克20 PDF格式BibTeX公司 XML格式引用 \textit{M.Lerch}和textit{J.Wolff von Gudenberg},Reliab。计算。5,第1号,69--80(1999;Zbl 0936.65058) 全文: DOI程序
马丁·伯茨;恭子马基诺 高维验证求积的新方法。 (英语) Zbl 0947.65026号 Reliab公司。计算。 5,第1期,13-22(1999). 审核人:W.E.Smith(肯辛顿) MSC公司:65天32分 41A55型 41A63型 65G20个 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Berz}和\textit{K.Makino},Reliab。计算。5,编号1,13--22(1999;Zbl 0947.65026) 全文: DOI程序
恭子马基诺;马丁·伯茨 基于泰勒模型方法的依赖问题的有效控制。 (英语) Zbl 0936.65073号 Reliab公司。计算。 5,第1期,3-12页(1999年).MSC公司:65千5 90立方 65G20个 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{K.Makino}和\textit{M.Berz},Reliab。计算。5,第1号,第3-12号(1999;Zbl 0936.65073) 全文: DOI程序
齐格弗里德·M·臀部。 关于ε通货膨胀的注释。 (英语) 兹伯利0920.65031 Reliab公司。计算。 4,第4期,371-375(1998). 审核人:S.Markov(索菲亚) MSC公司:65小时05 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Rump},Reliab(信实)。计算。4,第4号,371--375(1998;Zbl 0920.65031) 全文: DOI程序
马丁·伯茨;恭子马基诺 在高阶泰勒模型上使用微分代数方法验证ODE和流的集成。 (英语) Zbl 0976.65061号 Reliab公司。计算。 4,第4期,361-369(1998).MSC公司:65升05 34A34飞机 65G20个 37立方厘米 65页第10页 2015年11月37日 65升80 34A09号 PDF格式BibTeX公司 XML格式引用 \textit{M.Berz}和\textit{K.Makino},Reliab。计算。4,第4号,361--369(1998;Zbl 0976.65061) 全文: DOI程序
魏恩霍夫,Jürgen K。;沃纳·C·哈斯。 \使用多项式矩阵和区间算法的(H_\infty)-控制。 (英语) Zbl 0884.65067号 Reliab公司。计算。 3,第3期,229-237(1997). 审核人:M.I.克拉斯坦诺夫(索非亚) MSC公司:65K10码 65G30型 93B36型 93C99号 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Weinhofer}和\textit{W.C.Haas},Reliab。计算。3,第3号,229--237(1997;Zbl 0884.65067) 全文: DOI程序
沃尔特·克雷默;斯特凡·韦德纳 两种用于定积分验证计算的自适应高斯-勒让德型算法。 (英语) Zbl 0858.65020号 Reliab公司。计算。 2,第3期,241-253(1996). 审核人:S.Markov(索菲亚) MSC公司:65天32分 65G30型 41A55型 PDF格式BibTeX公司 XML格式引用 \textit{W.Krämer}和\textit{S.Wedner},Reliab。计算。2,第3号,241--253(1996;Zbl 0858.65020) 全文: DOI程序
佩特科维奇,Ljiljana D。;米罗斯拉夫·特拉伊科维奇 包含磁盘的验证方法。 (英语) Zbl 0839.65058号 Reliab公司。计算。 1,第4期,403-410(1995). 审核人:J.Rohn(普拉哈) MSC公司:65G30型 30E10型 65埃05 PDF格式BibTeX公司 XML格式引用 \textit{L.D.Petković}和\textit{M.Trajkovi},Reliab。计算。1,第4号,403--410(1995;Zbl 0839.65058) 全文: DOI程序