克里斯托夫·施瓦茨韦勒 正常延伸。 (英语) Zbl 07833847号 福尔马利兹。数学。 第121-130号第31页(2023年).MSC公司:68V20型 12层05 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller},Formaliz。数学。31,编号1,121--130(2023;Zbl 07833847) 全文: 内政部 OA许可证
罗伯托·斯卡拉;波兰人,塞尔吉奥;Tiwari,Sharwan K。;安德烈亚·维斯康蒂 蓝牙流密码的代数攻击E0类. (英语) Zbl 1500.94035号 有限域应用。 84,文章ID 102102,第29页(2022).MSC公司:94A60型 11T71型 12个H10 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{R.La Scala}等人,有限域应用。84,文章ID 102102,29 p.(2022;Zbl 1500.94035) 全文: 内政部 arXiv公司
Judit X·马达拉斯。;迈克·斯坦内特;谢凯利(Székely,Gergely) 爱因斯坦狭义相对论在任意有序场上隐含的世界观变换群。 (英语) 兹伯利07531428 版本符号。日志。 15,编号2,334-361(2022).MSC公司:03B30型 83A05号 03B80号 20世纪15年代 12月15日 PDF格式BibTeX公司 XML格式引用 \textit{J.X.Madarász}等人,Rev.Symb。日志。15,编号2,334--361(2022;Zbl 07531428) 全文: 内政部
克里斯托夫·施瓦茨韦勒;阿格涅斯卡·罗文斯卡·施瓦兹韦勒 二次扩展。 (英语) Zbl 1494.68305号 福尔马利兹。数学。 29,第4期,229-240(2021).MSC公司:68V20型 12层05 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller}和\textit{A.Rowiáska-Schwarzweller}.福尔马利兹。数学。29,第4号,229--240(2021;Zbl 1494.68305) 全文: 内政部
克里斯托夫·施瓦茨韦勒 拆分字段。 (英语) Zbl 1483.68494号 福尔马利兹。数学。 29,第3期,129-139(2021).MSC公司:68V20型 12层05 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller},福尔米兹。数学。29,第3号,129--139(2021;Zbl 1483.68494) 全文: 内政部
克里斯托夫·施瓦茨韦勒;阿格涅斯卡·罗文斯卡·施瓦兹韦勒 代数扩展。 (英语) Zbl 1473.68211号 福尔马利兹。数学。 29,编号1,39-47(2021).MSC公司:68V20型 12层05 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller}和\textit{A.Rowiáska-Schwarzweller}.福尔马利兹。数学。29,编号1,39-47(2021;兹bl 1473.68211) 全文: 内政部
克里斯托夫·施瓦茨韦勒 重命名和Kronecker构造的无条件形式化。 (英语) Zbl 07488865号 福尔马利兹。数学。 28,第2期,129-135(2020年).MSC公司:68V20型 12E05型 12层05 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller},Formaliz。数学。28,第2号,129--135(2020;Zbl 07488865) 全文: 内政部
穆拉特,坎昆;法坎达阿夫扎尔;阿伊莎·马库尔;阿夫扎尔,迪巴 有效计算差分字符集的算法。 (英语) Zbl 1484.12008年 J.离散数学。科学。密码学 23,第6期,1203-1216(2020).MSC公司:2005年12月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Cancan}等人,J.离散数学。科学。密码学23,No.6,1203--1216(2020;Zbl 1484.12008) 全文: 内政部
何塞·迪瓦松;Joosten,Sebastian J.C。;雷内·蒂曼;Akihisa山田 Berlekamp-Zassenhaus因子分解算法的验证实现。 (英语) Zbl 1469.68165号 J.汽车。推理 64,第4号,699-735(2020).MSC公司:68伏15 03B35型 12-08 13第05页 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Divasón}等人,J.Autom。推理64,No.4,699--735(2020;Zbl 1469.68165) 全文: 内政部
克里斯托夫·施瓦茨韦勒 现场扩建和Kronecker的施工。 (英语) Zbl 1433.68584号 福尔马利兹。数学。 27,第3期,229-235(2020年).MSC公司:68V20型 12E05型 12层05 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller},福尔米兹。数学。27,第3号,229--235(2020;Zbl 1433.68584) 全文: 内政部
克里斯托夫·施瓦茨韦勒 字段\(F\)与\(F[X]\)的交集上。 (英语) Zbl 1433.68583号 福尔马利兹。数学。 27,第3期,223-228(2020年).MSC公司:68V20型 12E05型 12层05 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller},Formaliz。数学。27,第3号,223--228(2020;Zbl 1433.68583) 全文: 内政部
克里斯托夫·施瓦茨韦勒 关于单态和子域。 (英语) Zbl 1432.68545号 福尔马利兹。数学。 27,第2期,133-137(2019).MSC公司:68V20型 12E05型 12层05 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller},Formaliz。数学。27,第2号,133-137(2019年;Zbl 1432.68545) 全文: 内政部
克里斯托夫·施瓦茨韦勒 关于\(F[X]/<p>\)上多项式的根。 (英语) Zbl 1432.68544号 福尔马利兹。数学。 27,第2号,93-100(2019).MSC公司:68V20型 12E05型 12层05 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller},Formaliz。数学。27,第2号,93--100(2019;Zbl 1432.68544) 全文: 内政部
陈兴伦;诺里斯,迈克尔 有限域的分类及其应用。 (英语) Zbl 1468.68317号 J.汽车。推理 63,第3期,667-693(2019).MSC公司:68V20型 11个Txx 12E20型 PDF格式BibTeX公司 XML格式引用 \textit{H.-L.Chan}和textit{M.Norrish},J.Autom。推理63,No.3,667--693(2019;Zbl 1468.68317) 全文: 内政部
胡友仁;高小山 洛朗偏微分多项式系统的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) 全文: 内政部
李文达;帕斯莫尔,格兰特·奥尼;劳伦斯·C·鲍尔森。 在Isabelle/HOL中使用不可信证书判定一元多项式问题。 (英语) Zbl 1468.68298号 J.汽车。推理 62,第1号,69-91(2019).MSC公司:68伏15 第12天第10天 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Li}等人,J.Autom。推理62,No.1,69--91(2019;Zbl 1468.68298) 全文: 内政部 arXiv公司
克里斯托夫·施瓦茨韦勒 正式的真实字段。 (英语) Zbl 1401.12003号 福尔马利兹。数学。 25,第4号,249-259(2017).MSC公司:12月15日 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller},Formaliz。数学。25,第4号,249--259(2017;Zbl 1401.12003) 全文: 内政部
克里斯托夫·施瓦茨韦勒 多项式的根和代数闭域。 (英语) Zbl 1381.13004号 福尔马利兹。数学。 25,第3期,185-195(2017).MSC公司:13号B25 第12天第10天 13A05号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller},Formaliz。数学。25,第3号,185--195(2017;Zbl 1381.13004) 全文: 内政部
朱伟;高小山 具有初等计算复杂度的微分多项式系统的三角分解算法。 (英语) Zbl 1420.68245号 J.系统。科学。复杂。 30,第2期,464-483(2017).MSC公司:68瓦30 12H20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Zhu}和\textit{X.-S.Gao},J.Syst。科学。复杂。30,第2号,464--483(2017;Zbl 1420.68245) 全文: 内政部 arXiv公司
塔贾纳·卢托瓦克;布兰科,马累舍维奇;克里斯汀·莫蒂奇 混合三角多项式问题的自然算法。 (英语) Zbl 1373.42003号 J.不平等。申请。 2017,第116号文件,第16页(2017).MSC公司:42A05型 42A10号 41A58型 2005年10月26日 12升05 PDF格式BibTeX公司 XML格式引用 \textit{T.Lutovac}等人,J.不等式。申请。2017年,第116号论文,16页(2017;Zbl 1373.42003) 全文: 内政部 arXiv公司
克里斯托夫·施瓦茨韦勒 有序的环和字段。 (英语) Zbl 1365.12006年 福尔马利兹。数学。 25,编号1,63-72(2017).MSC公司:12月15日 13层25 2015年2月6日 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller},Formaliz。数学。25,第1号,63--72(2017;Zbl 1365.12006) 全文: 内政部
李伟;袁春明;高小山 Laurent微分多项式的稀疏微分结果。 (英语) 兹比尔1315.12003 已找到。计算。数学。 15,第2期,451-517(2015).MSC公司:2005年12月 68瓦30 14米25 1999年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Li}等人,发现。计算。数学。15,第2号,451--517(2015;Zbl 1315.12003) 全文: 内政部 arXiv公司
程金珊;高小山 两个多项式的保乘法三角集分解。 (英语) Zbl 1317.12002年 J.系统。科学。复杂。 27,第6期,1320-1344(2014).MSC公司:2005年12月 68瓦30 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{J.-S.Cheng}和\textit{X.-S.Gao},J.Syst。科学。复杂。27,第6号,1320--1344(2014;Zbl 1317.12002) 全文: 内政部 arXiv公司
孙尧;王定康 代数扩张域上多项式因式分解的一种有效算法。 (英语) Zbl 1271.12007年 科学。中国,数学。 56,第6期,1155-1168(2013).MSC公司:2005年12月 12E05型 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sun}和\textit{D.Wang},科学。中国,数学。56,编号6,1155-1168(2013年;兹bl 1271.12007) 全文: 内政部 arXiv公司
高小山;李伟;袁春明 微分代数几何中的交集理论:一般交集和微分Chow形式。 (英语) Zbl 1328.14010号 事务处理。美国数学。Soc公司。 365,第9期,4575-4632(2013).MSC公司:14二氧化碳 2005年12月 13N15号 14C17号 1999年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{X.-S.Gao}等人,翻译。美国数学。Soc.365,No.9,4575--4632(2013;Zbl 1328.14010) 全文: 内政部 arXiv公司
高小山;黄振宇 有限域方程求解的特征集算法。 (英语) Zbl 1273.11176号 J.塞姆。计算。 47,第6号,655-679(2012).MSC公司:2016年11月 2006年11月 12E20型 68瓦30 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{X.-S.Gao}和\textit{Z.Huang},J.Symb。计算。47,第6号,655--679(2012;Zbl 1273.11176) 全文: 内政部
傅红光;王莹;赵世忠;王庆贤 构造复杂Dixon矩阵的递归算法。 (英语) Zbl 1202.65065号 申请。数学。计算。 217,第6号,2595-2601(2010).MSC公司:65H10型 65小时04 65英尺30英寸 2005年12月 26立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Fu}等人,应用。数学。计算。217,第6号,2595--2601(2010;Zbl 1202.65065) 全文: 内政部
托马斯·克鲁索;伊芙琳·休伯特 计算正则微分理想预解表示的概率算法。 (英语) Zbl 1192.12005年 申请。代数工程通讯。计算。 19,第5号,365-392(2008).MSC公司:2005年12月 68宽10 68瓦30 12-04 PDF格式BibTeX公司 XML格式引用 \textit{T.Cluzeau}和\textit{E.Hubert},应用。代数工程通讯。计算。19,第5号,365-392(2008;Zbl 1192.12005) 全文: 内政部 链接
冯汝永;于建平 用特征集方法和Wronskian行列式在曲面上证明力学定理。 (英语) Zbl 1193.53008号 科学。中国,Ser。A类 51,第10期,1763-1774(2008).MSC公司:53A05型 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{R.Feng}和textit{J.Yu},科学。中国,Ser。A 51,第10号,1763-1774(2008;Zbl 1193.53008) 全文: 内政部
萨尔瓦多卢卡斯 终止证明中实域上的多项式:从理论到实践。 (英语) Zbl 1085.68076号 西奥。通知。申请。 39,第3期,547-586(2005).MSC公司:2012年第68季度 2005年12月 68瓦30 PDF格式BibTeX公司 XML格式引用 \文本{S.Lucas},Theor。通知。申请。39,第3号,547--586(2005;Zbl 1085.68076) 全文: 内政部 Numdam编号 欧洲DML 链接
李伟;马士龙 代数闭域上理论序列的极限及其应用。 (英语) 兹比尔1033.03005 离散应用程序。数学。 136,第1期,23-43(2004).MSC公司:03B35型 68瓦30 03C60型 12升12 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{W.Li}和\textit{S.Ma},离散应用。数学。136,编号1,23-43(2004;Zbl 1033.03005) 全文: 内政部
G.马特拉。;塞多拉维奇,A。 与微分有理映射相关的离散不变量的快速计算。 (英语) Zbl 1075.12005年 J.塞姆。计算。 36,第3-4号,473-499(2003). 审核人:尼古拉·瓦西里耶·格里戈连科(基辅) MSC公司:2005年12月 68瓦30 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{G.Matera}和\textit{A.Sedoglavic},J.Symb。计算。36,编号3--4,473--499(2003;Zbl 1075.12005) 全文: 内政部
高小山 微分有理参数方程的隐式化。 (英语) Zbl 1048.12006年 J.塞姆。计算。 36,第5期,811-824(2003). 审核人:艾米莉亚·梅泽蒂(的里雅斯特) MSC公司:2005年12月 2005年第14季度 2010年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{X.-S.Gao},J.Symb。计算。36,第5号,811--824(2003;Zbl 1048.12006) 全文: 内政部
陈玉福;高小山 对合方向和新的对合划分。 (英语) 2010年10月18日Zbl 计算。数学。申请。 41,编号7-8,945-956(2001). 审核人:克里斯托弗·阿索恩(格拉斯哥) MSC公司:2005年12月 13页第10页 12H20型 2016年05月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{Y.-F.Chen}和\textit{X.-S.Gao},计算。数学。申请。41,编号7--8,945--956(2001;Zbl 1018.12010) 全文: 内政部
布齐安·德里斯;阿卜杜利拉·坎德里·罗迪;哈米德·马乌夫 有限生成的完美微分理想的非混合维分解。 (英语) Zbl 1038.12005年 J.塞姆。计算。 31,第6号,631-649(2001).MSC公司:2005年12月 68瓦30 第13页第10页 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{D.Bouziane}等人,J.Symb。计算。31,第6号,631--649(2001;Zbl 1038.12005) 全文: 内政部
托马斯·斯特姆 值字段中的线性问题。 (英语) Zbl 0982.03018号 J.塞姆。计算。 30,第2期,207-219(2000). 审核人:塞族人A.Basarab(布库雷什蒂) MSC公司:03C10号机组 12升12 03C60型 65年第68季度 68瓦30 12月10日 03B25号 PDF格式BibTeX公司 XML格式引用 \文本{T.Sturm},J.Symb。计算。30,第2号,207--219(2000;Zbl 0982.03018) 全文: 内政部 链接
伊芙琳·休伯特 微分代数中的无因式分解算法。 (英语) Zbl 0984.12004号 J.塞姆。计算。 29,No.4-5,641-662(2000). 审核人:兹比格尼乌·哈伊托(巴塞罗那) MSC公司:2005年12月 2005年12月 68瓦30 第13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{E.Hubert},J.Symb。计算。29,编号4--5,641--662(2000;Zbl 0984.12004) 全文: 内政部 链接
丹尼斯·S·阿诺。 真正封闭字段的量词消除参考书目。 (英语) Zbl 0646.03024号 J.塞姆。计算。 5,编号1-2,267-274(1988). 审核人:D.Yu。格里戈列夫 MSC公司:03C10号机组 12升12 68瓦30 00A15年 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Arnon},J.Symb。计算。5,编号1--2,267--274(1988;Zbl 0646.03024) 全文: 内政部