邵长鹏;李阳;李洪波 量子算法设计:技术和应用。 (英语) Zbl 1409.81033号 J.系统。科学。复杂。 32,编号1,375-452(2019).MSC公司:81页68 2010年第68季度 2007年7月68日 68页第10页 60克50 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{C.Shao}等人,J.系统。科学。复杂。32,第1号,375--452(2019年;Zbl 1409.81033) 全文: 内政部
刘卓军;吴宝峰 基于有限域分解构造具有(潜在)最优代数免疫的布尔函数的最新结果。 (英语) Zbl 1448.94313号 J.系统。科学。复杂。 32,第1号,356-374(2019). 审核人:威尔弗里德·梅德尔(林茨) MSC公司:94D10号 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{Z.Liu}和textit{B.Wu},J.系统。科学。复杂。32,编号1,356--374(2019;Zbl 1448.94313) 全文: 内政部
迪帕克·卡普尔 未解释和解释符号上的条件同余闭包。 (英语) Zbl 1417.68077号 J.系统。科学。复杂。 32,第1号,317-355(2019).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur},J.系统。科学。复杂。32,编号1,317--355(2019;Zbl 1417.68077) 全文: 内政部
李伟;袁春明 微分代数和差分代数中的消元理论。 (英语) Zbl 1448.12003年 J.系统。科学。复杂。 32,第1号,287-316(2019). 审核人:Andy R.Magid(诺曼) MSC公司:2005年12月 12个H10 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{W.Li}和\textit{C.-M.Yuan},J.Syst。科学。复杂。32,第1号,287--316(2019;Zbl 1448.12003) 全文: 内政部
杜、郝;李子明 Ore-Sato定理和(q)-差分情况下的移位指数。 (英语) Zbl 1408.33030号 J.系统。科学。复杂。 32,第1号,271-286(2019).MSC公司:第33天第15天 PDF格式BibTeX公司 XML格式引用 \textit{H.Du}和\textit{Z.Li},J.Syst。科学。复杂。32,第1号,271--286(2019;Zbl 1408.33030) 全文: 内政部
弗兰茨·温克勒 求解代数微分方程的代数几何方法——综述。 (英语) Zbl 1411.34007号 J.系统。科学。复杂。 32,第1号,256-270(2019).MSC公司:34A05型 34A26型 34A09号 2005年第14季度 13第25页 34C20美元 PDF格式BibTeX公司 XML格式引用 \文本{F.Winkler},J.Syst。科学。复杂。32,第1号,256-270(2019年;Zbl 1411.34007) 全文: 内政部
鲁、东;孙尧;王定康 计算综合Gröbner系统和综合Gróbner基的算法综述。 (英语) Zbl 1417.68295号 J.系统。科学。复杂。 32,第1号,234-255(2019).MSC公司:68瓦30 13页第10页 68-02 PDF格式BibTeX公司 XML格式引用 \textit{D.Lu}等人,J.系统。科学。复杂。32,编号1,234--255(2019;Zbl 1417.68295) 全文: 内政部
李婷;孙尧;黄振宇;王定康;林,东岱 通过替换方法加速GVW算法。 (英语) Zbl 1417.68294号 J.系统。科学。复杂。 32,第1号,205-233(2019).MSC公司:68瓦30 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{T.Li}等人,J.Syst。科学。复杂。32,第1号,205--233(2019;Zbl 1417.68294) 全文: 内政部
王,于;夏碧灿 在实代数集上寻找实点的一种混合过程。 (英语) Zbl 1407.65057号 J.系统。科学。复杂。 32,第1期,185-204(2019).MSC公司:65H10型 65H20个 14第05页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}和\textit{B.Xia},J.系统。科学。复杂。32,编号1,185--204(2019;兹bl 1407.65057) 全文: 内政部
王,楚;杨志宏;志、李红 实代数集上多项式的全局优化。 (英语) Zbl 1435.90115号 J.系统。科学。复杂。 32,第1期,158-184(2019). 审核人:Samir Kumar Neogy(新德里) MSC公司:90C26型 14第05页 90立方厘米22 PDF格式BibTeX公司 XML格式引用 \textit{C.Wang}等人,J.Syst。科学。复杂。32,第1号,158--184(2019;Zbl 1435.90115) 全文: 内政部
博塔纳,弗朗西斯科;托马斯·雷西奥 平面曲线族包络线的自动计算建议。 (英语) Zbl 1417.68177号 J.系统。科学。复杂。 32,第1号,150-157(2019).MSC公司:68吨15 68单位05 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{F.Botana}和\textit{T.Recio},J.Syst。科学。复杂。32,第1号,150-157(2019;Zbl 1417.68177) 全文: 内政部
帕斯卡·施雷克 关于机械化直尺和罗盘构造。 (英语) Zbl 1410.51025号 J.系统。科学。复杂。 32,第1期,124-149(2019).MSC公司:2015年11月51日 PDF格式BibTeX公司 XML格式引用 \textit{P.Schreck},J.系统。科学。复杂。32,第1号,124--149(2019;Zbl 1410.51025) 全文: 内政部 哈尔
李洪波 零几何代数的自动定理证明实践。 (英语) Zbl 1468.68297号 J.系统。科学。复杂。 32,第1号,95-123(2019).MSC公司:68伏15 03B35型 15A66型 51N20号 PDF格式BibTeX公司 XML格式引用 \textit{H.Li},J.系统。科学。复杂。32,编号1,95-123(2019;Zbl 1468.68297) 全文: 内政部
张景忠;彭西成;陈,毛 从吴方法同一性的角度出发,基于点几何的自明自动证明。 (英语) Zbl 1468.68310号 J.系统。科学。复杂。 32,第1号,78-94(2019).MSC公司:68伏15 03B35型 15A66型 2004年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}等人,J.Syst。科学。复杂。32,编号1,78-94(2019;Zbl 1468.68310) 全文: 内政部
胡友仁;高小山 洛朗偏微分多项式系统的Ritt-Wu特征集方法。 (英语) Zbl 1470.12003号 J.系统。科学。复杂。 32,第1号,第62-77页(2019年). 审核人:Andy R.Magid(诺曼) MSC公司:2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hu}和\textit{X.-S.Gao},J.Syst。科学。复杂。32,编号1,62--77(2019;Zbl 1470.12003) 全文: 内政部
李邦和 希尔伯特问题15和Ritt-Wu方法。一、。 (英语) Zbl 1411.14061号 J.系统。科学。复杂。 32,第1号,47-61(2019). 审核人:Kathlén Kohn(奥斯陆) MSC公司:14N15号 14小时45分 2005年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Li},J.系统。科学。复杂。32,编号1,47-61(2019;Zbl 1411.14061) 全文: 内政部
牟、陈琪;王东明 特征分解:从正则集到正规集。 (英语) 兹比尔1410.13018 J.系统。科学。复杂。 32,第1号,37-46(2019). 审核人:杰里米亚·约翰逊(曼彻斯特) MSC公司:13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{C.Mou}和\textit{D.Wang},J.Syst。科学。复杂。32,第1号,37-46(2019;兹bl 1410.13018) 全文: 内政部
Jean-Paul小胸花 论吴文韬对代数拓扑学的贡献。 (英语) Zbl 1409.55001号 J.系统。科学。复杂。 32,第1期,3-36页(2019年).MSC公司:55-03 01A70号 55兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Brasselet},J.系统。科学。复杂。32,第1号,第3--36号(2019年;Zbl 1409.55001) 全文: 内政部
高小山(编辑);李洪波(编辑);王东明(编辑) 特刊前言。 (英语) Zbl 1407.00033号 J.系统。科学。复杂。 32,第1期,第1-2期(2019年).MSC公司:00B15号机组 55-06 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{X.-S.Gao}(编辑)等,《系统杂志》。科学。复杂。32,编号1,1--2(2019;Zbl 1407.00033) 全文: 内政部