托马斯·比利茨;布鲁诺·朗;克里斯蒂安·比肖夫。 非线性系统并行结果验证解中的高效任务调度。 (英语) Zbl 1083.65051号 Reliab公司。计算。 12,第2期,141-151(2006).MSC公司:65H10型 第65年 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{T.Beelitz}等人,Reliab。计算。12,第2141-151号(2006年;兹bl 1083.65051) 全文: 内政部
托马斯·比利茨;克里斯蒂安·比肖夫。;布鲁诺·朗 一种用于验证非线性解算器结果的混合细分策略。 (英语) Zbl 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) 全文: 内政部