Helle Hvid Hansen先生;简·拉特 基于算术比特流函数的Mealy机器符号合成。 (英语) Zbl 1424.68086号 科学。Ann.计算。科学。 20, 97-130 (2010).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Hansen}和\textit{J.Rutten},科学。Ann.计算。科学。20,97-130(2010年;Zbl 1424.68086)
塞德里克,洛伊;保罗·亨里·库内德;让·弗朗松 一种符号方法,用于计算随机0L系统生成的随机文本中模式出现次数的概率分布。 (英语) Zbl 1355.68217号 Drmota,Michael(ed.)等人,《第21届算法分析中的概率、组合和渐近方法国际会议论文集》(AofA'10),奥地利维也纳,2010年6月28日至7月2日。南希:协会。离散数学与理论计算机科学(DMTCS)。离散数学和理论计算机科学。诉讼,473-488(2010)。MSC公司:68兰特 05年05月05日 60E10型 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Loi}等人,in:第21届算法分析中的概率、组合和渐近方法国际会议论文集(AofA'10),奥地利维也纳,2010年6月28日-7月2日。南希:协会。离散数学与理论计算机科学(DMTSC)。473-488(2010年;兹比尔1355.68217) 全文: 链接
Michael Leuschel先生;蒂埃里·马萨特 通过对称标记对B和Z模型进行有效的近似验证。 (英语) Zbl 1209.68127号 安。数学。Artif公司。智力。 59,第1期,81-106(2010).MSC公司:68号30 60年第68季度 68兰特 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Leuschel}和\textit{T.Massart},安·数学。Artif公司。智力。59,第1号,81--106(2010;Zbl 1209.68127) 全文: 内政部
亚历山大·拉比诺维奇 无法在链中解释完整的二叉树。 (英语) Zbl 1211.03021号 J.塞姆。日志。 75,第4号,1489-1498(2010). 审核人:Alex Nabebin(莫斯科) MSC公司:03B25号 07年3月 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},J.Symb。日志。75,第4号,1489--1498(2010;Zbl 1211.03021) 全文: 内政部
莫、贾琦;文、赵慧 具有时滞的奇摄动反应扩散方程。 (英语) Zbl 1205.35018号 应用。数学。机械。,英语。编辑。 31,第6号,769-774(2010).MSC公司:35B25型 35K57型 35兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.-q.Mo}和textit{Z.-h.Wen},应用。数学。机械。,英语。第31版,第6号,769--774(2010;Zbl 1205.35018) 全文: 内政部
查蒂尔,P。;A.穆鲁阿。;桑兹·塞尔纳(J.M.Sanz-Serna)。 高阶平均、形式级数和数值积分。I: B系列。 (英语) Zbl 1211.34052号 找到。计算。数学。 10,第6期,695-727(2010). 审核人:奥列格·阿纳什金(辛菲罗波尔) MSC公司:34C29号 65升06 34D20型 2005年7月70日 34A25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Chartier}等人,发现。计算。数学。10,第6号,695--727(2010;Zbl 1211.34052) 全文: 内政部 链接
纳西尔·塔希扎德;穆罕默德·米尔扎扎德 利用形式化线性化方法和推广的tanh方法得到了二阶Benjamin方程的精确解。 (英语) Zbl 1200.35271号 远东应用杂志。数学。 41,第2期,111-119(2010).MSC公司:第35季度53 35C08型 35A24型 PDF格式BibTeX公司 XML格式引用 \textit{N.Taghizadeh}和\textit{M.Mirzazadeh},远东J.Appl。数学。41,No.2,111--119(2010;Zbl 1200.35271) 全文: 链接
纳西尔·塔希扎德;穆罕默德·米尔扎扎德 用形式线性化方法给出了七阶广义KdV方程的精确解。 (英语) Zbl 1196.35188号 远东应用杂志。数学。 41,编号1,33-39(2010).MSC公司:第35季度53 35A20型 35C05型 PDF格式BibTeX公司 XML格式引用 \textit{N.Taghizadeh}和\textit{M.Mirzazadeh},远东J.Appl。数学。41、第1号、第33-39号(2010;Zbl 1196.35188) 全文: 链接
野崎雅吉塔 群上同调的Coniveau过滤。 (英语) Zbl 1205.14021号 程序。伦敦。数学。社会(3) 101,第1期,179-206(2010). 审核人:昭湖聂(阿尔图纳) MSC公司:14层42层 20J06型 55N22号 57兰特77 PDF格式BibTeX公司 XML格式引用 \textit{N.Yagita},程序。伦敦。数学。Soc.(3)101,No.1,179--206(2010;Zbl 1205.14021) 全文: 内政部
乔里斯·范德霍温 牛顿方法和FFT交易。 (英语) Zbl 1192.13017号 J.塞姆。计算。 45,第8期,857-878(2010).MSC公司:13层25 68瓦30 第13页99 PDF格式BibTeX公司 XML格式引用 \textit{J.van der Hoeven},J.Symb。计算。45,第8号,857--878(2010;Zbl 1192.13017) 全文: 内政部
D.福廷。 高阶三项递推和循环扰动下Toeplitz矩阵的特征向量。 (英语) 兹比尔1194.15028 《国际纯粹应用杂志》。数学。 60,第2期,217-228(2010).MSC公司:15个B05 第15页第18页 PDF格式BibTeX公司 XML格式引用 \textit{D.Fortin},《国际纯粹应用杂志》。数学。60,编号21217-228(2010年;兹bl 1194.15028)
马丁·亨森。 (Z)的应用和方法。 (英语) Zbl 1200.68154号 Boca,Paul P.(编辑)等人,《形式方法:最新技术和新方向》。献给彼得·兰丁(1930-2009)。伦敦:施普林格出版社(ISBN 978-1-84882-735-6/hbk;978-1-848 82-736-3/电子书)。117-145 (2010).MSC公司:60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Henson},in:形式方法:最新技术和新方向。献给彼得·兰丁(1930-2009)。伦敦:斯普林格。117——145(2010;Zbl 1200.68154) 全文: 内政部
佛罗伦萨伊帕特 确定性有限状态机的有界序列测试。 (英语) Zbl 1192.68414号 西奥。计算。科学。 411,第16-18号,1770-1784(2010).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{F.Ipate},Theor。计算。科学。411,编号16--18,1770---1784(2010;Zbl 1192.68414) 全文: 内政部