十卡特,H.H。 在数值软件设计中应用抽象和形式化规范。 (英语) 兹比尔083868079 计算。数学。申请。 29,第12期,81-102(1995)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.H.ten Cate},计算。数学。申请。29,编号12,81-102(1995年;Zbl 083868079) 全文: 内政部
D.A.穆里奥。;郭,L。 无初始滤波的热传导反问题的稳定空间推进有限差分算法。 (英语) Zbl 0701.65081号 计算。数学。申请。 19,第10号,35-50(1990)。 审核人:A.纽鲍尔 MSC公司:65Z05个 65个M12 6500万06 35K05美元 35兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Murio}和\textit{L.Guo},计算。数学。申请。19,编号10,35--50(1990;Zbl 0701.65081) 全文: 内政部
公平,怀曼;丹尼尔·多伊尔(Daniel A.Doyle)。 非线性积分方程的连分式解。 (英语) Zbl 0399.65097号 计算。数学。申请。 1978年11月4日。MSC公司:65兰特 30B70型 40甲15 45G10型 PDF格式BibTeX公司 XML格式引用 \textit{W.Fair}和\textit{D.A.Doyle},计算。数学。申请。4、11--14(1978年;Zbl 0399.65097) 全文: 内政部