阿比纳夫·贾阿;沃尔克·约翰 对流扩散方程非线性AFC离散化求解器的研究。 (英语) 兹比尔1443.65343 计算。数学。申请。 78,第9号,3117-3138(2019).MSC公司:65N30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Jha}和\textit{V.John},计算。数学。申请。78,第9号,3117--3138(2019;Zbl 1443.65343) 全文: 内政部
西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·梅耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯 可信计算:从偏微分方程到实际程序的机械化证明。 (英语) Zbl 1369.35051号 计算。数学。申请。 68,第3期,325-352(2014).MSC公司:35克35 6500万06 60年第68季度 65G20个 68吨15 65个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}等人,计算。数学。申请。68,第3号,325--352(2014;Zbl 1369.35051) 全文: 内政部 arXiv公司
朱安·吉拉奥(Juan L.G.Guirao)。;费尔南多·佩莱奥。;Jose C.Valverde。 对并发计算系统的动态进行建模。 (英语) Zbl 1217.68150号 计算。数学。申请。 61,第5期,1402-1406(2011).MSC公司:68问题85 37B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.L.G.Guirao}等人,计算。数学。申请。61,第5号,1402--1406(2011;Zbl 1217.68150) 全文: 内政部
唐一发;肖爱国;陈景波 中点规则的形式能量收敛吗? (英语) Zbl 1050.65128号 计算。数学。申请。 43,第8-9号,1171-1181(2002).MSC公司:65页第10页 2015年11月37日 PDF格式BibTeX公司 XML格式引用 \textit{Y.-F.Tang}等人,计算。数学。申请。43,编号8--91171--1181(2002;Zbl 1050.65128) 全文: 内政部
W.凯利。 “双根”情况下解的渐近分析。 (英语) Zbl 0812.65129号 计算。数学。申请。 28,编号1-3,167-173(1994). 审核人:C.莫罗沙努(Iaši) MSC公司:2005年第65季度 39A10号 PDF格式BibTeX公司 XML格式引用 \textit{W.Kelley},计算。数学。申请。28,编号1--3,167-173(1994;Zbl 0812.65129) 全文: 内政部
朱文杰;秦、孟照 利用形式幂级数构造高阶格式。 (英语) Zbl 0781.65072号 计算。数学。申请。 25,第12号,31-38(1993). 审核人:S.Gocheva-Ilieva(El Menara) MSC公司:65升12 37倍X PDF格式BibTeX公司 XML格式引用 \textit{W.Zhu}和\textit{M.Qin},计算。数学。申请。25,第12号,第31-38号(1993;Zbl 0781.65072) 全文: 内政部
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号 计算。数学。申请。 4, 11-14 (1978).MSC公司:65兰特 30磅70 40甲15 45G10型 PDF格式BibTeX公司 XML格式引用 \textit{W.Fair}和\textit{D.A.Doyle},计算。数学。申请。4、11--14(1978年;Zbl 0399.65097) 全文: 内政部