陈少石;曼纽尔·考尔斯 一些与创造性伸缩有关的开放问题。 (英语) Zbl 1420.68242号 J.系统。科学。复杂。 30,第1期,154-172(2017).MSC公司:68瓦30 33层10 PDF格式BibTeX公司 XML格式引用 \textit{S.Chen}和textit{M.Kauers},J.Syst。科学。复杂。30,第1号,154--172(2017;Zbl 1420.68242) 全文: 内政部 arXiv公司
约翰·哈里森 超几何和的形式证明。献给安德烈·特雷布利克。 (英语) Zbl 1356.68190号 J.汽车。推理 55,第3期,223-243(2015).MSC公司:第68页第15页 33层10 PDF格式BibTeX公司 XML格式引用 \textit{J.Harrison},J.Autom。推理55,No.3,223--243(2015;Zbl 1356.68190) 全文: 内政部
埃尔顿·布和;乔治·布鲁曼。 广义Zakharov方程的对称约化、精确解和守恒定律。 (英语) Zbl 1329.35028号 数学杂志。物理学。 56,第10期,101501,14页(2015).MSC公司:35B06型 35G55型 35A01型 35C07型 33立方厘米 33立方厘米 76X05型 PDF格式BibTeX公司 XML格式引用 \textit{E.Buhe}和\textit{G.W.Bluman},J.数学。物理。56,第10期,101501,14页(2015;Zbl 1329.35028) 全文: 内政部
张宇农;尹永华;郭东生;于晓天;小林 用于模式分类的切比雪夫多项式神经网络的基于交叉验证的权重和结构确定。 (英语) Zbl 1373.68362号 模式识别 47,第10号,3414-3428(2014).MSC公司:68吨10 33立方厘米 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,模式识别47,No.10,3414--3428(2014;Zbl 1373.68362) 全文: 内政部
乌迈尔·西迪克;奥斯曼·哈桑 关于HOL中伽马函数的形式化。 (英语) Zbl 1315.68224号 J.汽车。推理 53,第4期,407-429(2014).MSC公司:第68页第15页 26A33飞机 33B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{U.Siddique}和\textit{O.Hasan},J.Autom。推理53,No.4,407--429(2014;Zbl 1315.68224) 全文: 内政部
埃德蒙·克拉克;赵旭东 符号计算与定理证明相结合:Ramanujan的一些问题。 (英语) Zbl 1433.68541号 阿兰·邦迪(编辑),《自动扣除——CADE-12》。第十二届国际会议,法国南希,1994年6月26日至7月1日。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。814, 758-763 (1994).MSC公司:68伏15 33层10 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}和\textit{X.Zhao},Lect。注释计算。科学。814758--763(1994年;Zbl 1433.68541) 全文: 内政部 链接