托马斯·比利茨;布鲁诺·朗;克里斯蒂安·比肖夫。 非线性系统并行结果验证解中的高效任务调度。 (英语) Zbl 1083.65051号 Reliab公司。计算。 12,第2期,141-151(2006).MSC公司:65H10型 2005年5月 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{T.Beelitz}等人,Reliab。计算。12,第2号,141--151(2006;Zbl 1083.65051) 全文: 内政部
托马斯·比利茨;克里斯蒂安·比肖夫。;布鲁诺·朗 一种用于验证非线性解算器结果的混合细分策略。 (英语) 兹比尔1354.65114 PAMM,程序。申请。数学。机械。 4, 632-633 (2004).MSC公司:65千5 90C57型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{T.Beelitz}等人,PAMM,Proc。申请。数学。机械。4632--633(2004年;Zbl 1354.65114) 全文: 内政部