弗洛里安·班格尔 一个用于求解常微分方程的泰勒模型工具箱,在Matlab/INTLAB中实现。 (英语) Zbl 1429.65144号 J.计算。申请。数学。 368,文章ID 112511,20 p.(2020).MSC公司:65升05 34-04 34A34飞机 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{F.Bünger},J.计算。申请。数学。368,文章ID 112511,20 p.(2020;Zbl 1429.65144) 全文: 内政部
阿舍曼,H。;J·米尼西尼。;Rauh,A。 非线性动力系统控制器设计的区间算法技术及其在机电一体化中的应用。二、。 (英语) Zbl 1268.93061号 J.计算。系统。科学。国际。 49,第6期,833-846(2010).MSC公司:93亿B51 65G30型 93B35型 93立方厘米 93立方厘米95 PDF格式BibTeX公司 XML格式引用 \textit{H.Aschemann}等人,J.计算。系统。科学。国际49号,第6833--846号(2010年;Zbl 1268.93061) 全文: 内政部
阿舍曼,H。;J·米尼西尼。;A.劳赫。 非线性动力系统控制器设计的区间算法技术及其在机电一体化中的应用。 (英语) Zbl 1268.93046号 J.计算。系统。科学。国际。 49,第5期,683-695(2010).MSC公司:93B35型 65G30型 93C80号 93立方厘米 93立方厘米 93立方厘米95 93E10型 PDF格式BibTeX公司 XML格式引用 \textit{H.Aschemann}等人,J.计算。系统。科学。国际49,第5号,683--695(2010;Zbl 1268.93046) 全文: 内政部
林友东;马克·斯塔德瑟(Mark A.Stadtherr)。 参数ODE初值问题的验证解决方案。 (英语) Zbl 1121.65084号 申请。数字。数学。 57,第10号,1145-1162(2007).MSC公司:65升05 34A34飞机 65G40型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lin}和\textit{M.A.Stadtherr},应用。数字。数学。57,第10号,1145--1162(2007;Zbl 1121.65084) 全文: 内政部
R.Baker Kearfott先生;G.William Walster 泰勒模型的符号预处理:一些示例。 (英语) Zbl 1016.65041号 Reliab公司。计算。 8,第6期,453-468(2002).MSC公司:65千5 90立方 90C57型 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.B.Kearfott}和\textit{G.W.Walster},Reliab。计算。8,第6号,453--468(2002;Zbl 1016.65041) 全文: 内政部