伊拉夫斯卡;丹尼尔·威尔扎克 一种用于验证常微分方程变分方程解封闭性的隐式算法。 (英语) Zbl 1410.65259号 申请。数学。计算。 291, 303-322 (2016).MSC公司:65升05 65G20个 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{I.Walawska}和\textit{D.Wilczak},应用。数学。计算。291303--322(2016;Zbl 1410.65259) 全文: 内政部 arXiv公司
卡伊斯拉·法扎尔;阿诺德·诺伊梅尔 优化初值问题的误差界。 (英语) Zbl 1327.65148号 软计算。 17,第8期,1345-1356(2013).MSC公司:65升70 65升05 34A34飞机 65千5 90C26型 65F08个 PDF格式BibTeX公司 XML格式引用 \textit{Q.Fazal}和\textit{A.Neumaier},软计算。17,第8号,1345--1356(2013;Zbl 1327.65148) 全文: 内政部
叶卡捷琳娜·奥尔;安德烈亚斯·劳赫 VERICOMP:一个比较和评估已验证IVP解决方案的系统。 (英语) Zbl 1238.65064号 计算 94,编号2-4,163-172(2012).MSC公司:65升05 34A34飞机 65G20个 65G40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Auer}和\textit{A.Rauh},《计算》94,第2--4163-172期(2012;Zbl 1238.65064) 全文: 内政部