安田武彦 射影格式的同构问题及相关算法问题。 (英语) Zbl 1527.14115号 国际代数计算杂志。 33,第5期,893-926(2023). 审核人:阿列克谢·卡内尔·贝洛夫(拉马特·甘恩) MSC公司:2015年第14季度 2010年第14季度 2005年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Yasuda},《国际代数计算》。33,编号5,893--926(2023;Zbl 1527.14115) 全文: 内政部 arXiv公司
恩格尔·勒福丘;约尔·瓦克宁;乘务长,大卫;詹姆斯·沃雷尔 多孔不变量。 (英语) Zbl 1493.68117号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12760, 172-194 (2021).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Lefaucheux}等人,Lect。注释计算。科学。12760172-194(2021年;Zbl 1493.68117) 全文: 内政部 arXiv公司 OA许可证
迪马·格里戈里耶夫;亚历山德鲁·约西夫;哈米德·拉科伊;托马斯·斯特姆;安德烈亚斯·韦伯 高效、有效地识别稳态品种的复性。 (英语) Zbl 1495.14095号 数学。计算。科学。 15,第2期,199-232(2021). 审核人:蒂莫西·达夫(西雅图) MSC公司:2014年第20季度 13页第10页 14米25 14第05页 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Grigoriev}等人,《数学》。计算。科学。15,第2号,199--232(2021;Zbl 1495.14095) 全文: 内政部 arXiv公司 OA许可证
迪马·格里戈里耶夫;尼古拉·沃罗布乔夫 决定热带线性流行是否为热带变种的复杂性。 (英语) Zbl 1462.14059号 申请。代数工程通讯。计算。 32,编号2,157-174(2021).MSC公司:2014年第20季度 13页第10页 15A80型 14T10段 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Grigoriev}和\textit{N.Vorobjov},应用。代数工程通讯。计算。32,第2号,157--174(2021;Zbl 1462.14059) 全文: 内政部 arXiv公司
金、金碧 单指数时间曲线上同调的计算。 (英语。法语摘要) Zbl 1464.14024号 J.Théor。Nombres Bordx公司。 32,第2期,311-354(2020年). 审核人:Noémie Combe(莱比锡) MSC公司:14层20 2005年第14季度 2014年第20季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Jin}、J.Théor。Nombres Bordx公司。32,编号2,311--354(2020;Zbl 1464.14024) 全文: 内政部
奇斯托夫,A.L。 带参数的系统,或33年后高效求解多项式方程组。二、。 (英语。俄文原件) Zbl 1445.13025号 数学杂志。科学。,纽约 240,第5号,594-616(2019); Zap的翻译。诺什。塞明。POMI 468138-176(2018)。MSC公司:第13页,共15页 13-03 01年6月 01A61号 12-08 2014年第20季度 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Chistov},J.数学。科学。,纽约240,No.5,594--616(2019;Zbl 1445.13025);Zap的翻译。诺什。塞明。POMI 468,138--176(2018) 全文: 内政部
奇斯托夫,A.L。 具有参数的系统,或有效求解多项式方程组:33年后。一、。 (英语。俄文原件) Zbl 1405.13050号 数学杂志。科学。,纽约 232,第2期,177-203(2018); Zap的翻译。诺什。塞明。POMI 462122-166(2017)。 审核人:托马斯·卡勒(马格德堡) MSC公司:第13页,共15页 13-03 01年6月 01A61号 2005年12月 2014年第20季度 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Chistov},J.数学。科学。,纽约232,No.2,177--203(2018;Zbl 1405.13050);Zap的翻译。诺什。塞明。POMI 462、122--166(2017) 全文: 内政部
阿尔伯特·海因勒;维克多·莱万多夫斯基 第一(q)-Weyl代数中(mathbb{Z})-齐次多项式的因式分解。 (英语) 兹比尔1400.16001 Böckle,Gebhard(编辑)等人,代数、几何和数论中的算法和实验方法。查姆:施普林格(ISBN 978-3-319-70565-1/hbk;978-3-3169-70566-8/电子书)。455-480 (2017).MSC公司:16-04 68瓦30 2016年05月 68-04 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{A.Heinle}和\textit{V.Levandovskyy},in:代数、几何和数论中的算法和实验方法。查姆:斯普林格。455--480(2017;Zbl 1400.16001) 全文: 内政部 arXiv公司
奇斯托夫,A.L。 将Newton-Puiseux算法推广到非零特征地面场的情况。一、。 (英语。俄文原件) Zbl 1383.14016号 圣彼得堡数学。J。 28,第6号,825-853(2017); 代数分析的翻译。28,第6期,147-188(2016)。MSC公司:2015年第14季度 14E15号机组 14世纪17年代 68瓦30 14米25 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Chistov},圣彼得堡数学。J.28,No.6,825--853(2017;Zbl 1383.14016);代数分析的翻译。28,第6号,147--188(2016) 全文: 内政部
亚历克斯·戴维多;迪马·格里戈里耶夫 热带流行区相关成分数量的界限。 (英语) Zbl 1401.14235号 离散计算。地理。 57,第2号,470-493(2017).MSC公司:14T05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Davydow}和\textit{D.Grigoriev},离散计算。地理。57,第2号,470--493(2017;Zbl 1401.14235) 全文: 内政部 arXiv公司
奇斯托夫,A.L。 第一贝尔蒂尼定理的确定多项式时间算法。三、。 (英语。俄文原件) Zbl 1326.14141号 数学杂志。科学。,纽约 209,第6号,1005-1019(2015); Zap的翻译。诺什。塞明。POMI 432297-323(2015)。MSC公司:2015年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Chistov},J.数学。科学。,纽约209,No.6,1005--1019(2015;Zbl 1326.14141);Zap的翻译。诺什。塞明。POMI 432、297--323(2015) 全文: 内政部
A.阿亚德。 求解参数多项式系统的复杂性。 (英语) Zbl 1334.12013年 数学杂志。科学。,纽约 179,第6期,635-661(2011)和Zap。诺什。塞明。POMI 381,5-52(2011)。MSC公司:2005年12月 68瓦30 第13页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Ayad},J.数学。科学。,纽约179,No.6,635--661(2011;Zbl 1334.12013) 全文: 内政部 链接
阿里·阿亚德 关于因子分解参数多元多项式。 (英语) Zbl 1200.11096号 高级申请。数学。 45,第4期,607-623(2010). 审核人:胡安·特纳·阿尤索(巴利亚多利德) MSC公司:2016年11月 68瓦30 11二氧化碳 2005年12月 14二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{A.Ayad},高级应用程序。数学。45,第4号,607--623(2010;Zbl 1200.11096) 全文: 内政部
阿里·阿亚德 关于带参数代数簇的绝对不可约分量的计算。 (英语) 兹伯利1198.13025 计算 89,编号1-2,45-68(2010). 审核人:胡安·杰拉尔多·阿尔卡扎尔(Alcala da Henares) MSC公司:13页第10页 68瓦30 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{A.Ayad},《计算机89》,第1期,第2期,第45期,第68期(2010年;Zbl 1198.13025) 全文: 内政部
奇斯托夫。 在多项式时间内计算零特征中的主态射度。四、。 (英语。俄文原件) Zbl 1173.14347号 数学杂志。科学。,纽约 158,第6号,912-927(2009); Zap的翻译。诺什。塞明。POMI 360260-294(2008)。MSC公司:2014年第20季度 14E05号 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Chistov},J.数学。科学。,纽约158,No.6,912--927(2009;Zbl 1173.14347);Zap的翻译。诺什。塞明。POMI 360、260--294(2008) 全文: 内政部
董世平 多项式方程近似解的算法。 (英语) Zbl 1201.13009号 J.塞姆。计算。 44,第10期,1410-1424(2009). 审核人:维尔马尔·特雷维桑(阿雷格里港) MSC公司:第13页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Tung},J.Symb。计算。44,第10号,1410--1424(2009;Zbl 1201.13009) 全文: 内政部
李,贾;高小山 一种改进的Van der Waerden算法,用于分解代数簇和零维根理想。 (英语) Zbl 1166.13301号 Kapur,Deepak(编辑),《计算机数学》。第八届亚洲研讨会,2007年ASCM,新加坡,2007年12月15日至17日。修改并邀请论文。柏林:施普林格出版社(ISBN 978-3-540-87826-1/pbk)。计算机科学课堂讲稿5081。人工智能课堂讲稿,246-262(2008)。MSC公司:13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}和\textit{X.-S.Gao},Lect。注释计算。科学。5081、246--262(2008;Zbl 1166.13301) 全文: 内政部
董世平 字段上句子的计算复杂性。 (英语) Zbl 1154.68434号 Inf.计算。 206,编号:0791-805(2008).MSC公司:65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Tung},Inf.计算。206,第7号,791--805(2008;Zbl 1154.68434) 全文: 内政部
赫希,E.A。(编辑) 计算复杂性理论。第9部分。Transl.公司。来自俄罗斯。 (英语) 1089.68500兹罗提 数学杂志。科学。,纽约 134,第5期,2325-2444(2006).MSC公司:68-06 03-06 12-06 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Hirsch}(编辑),J.数学。科学。,纽约134,No.5,2325--2444(2006;Zbl 1089.68500) 全文: 内政部
董世平 多项式方程的近似解。 (英语) Zbl 1046.13020号 J.塞姆。计算。 33,第2期,239-254(2002).MSC公司:第13页99 68瓦30 13层20 65H10型 PDF格式BibTeX公司 XML格式引用 \文本{S.P.Tung},J.Symb。计算。33,第2号,239--254(2002;Zbl 1046.13020) 全文: 内政部
劳伦特·巴塞;穆罕默德·埃尔卡迪;伯纳德·穆兰 单有理代数簇上的广义结果。 (英语) Zbl 0983.14039号 J.塞姆。计算。 29,编号4-5515-526(2000). 审核人:胡安·萨比亚(布宜诺斯艾利斯) MSC公司:14米20 2010年第14季度 13层20 PDF格式BibTeX公司 XML格式引用 \textit{L.Busé}等人,J.Symb。计算。29、编号4--5、515--526(2000;Zbl 0983.14039) 全文: 内政部 链接
帕斯卡·科伊兰 可构造集的局部维数的复杂性。 (英语) Zbl 0951.68043号 J.复杂性 16,第1期,311-323(2000).MSC公司:2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Koiran},J.复杂性16,No.1,311--323(2000;Zbl 0951.68043) 全文: 内政部 链接
埃米利斯,Ioannis Z。;伯纳德·穆兰 消元理论中的矩阵。 (英语) Zbl 0943.13005号 J.塞姆。计算。 28,编号1-2,3-44(1999). 审核人:J.Rosenknop(柏林) MSC公司:13号B25 13页第10页 15甲15 15B33型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{I.Z.Emiris}和\textit{B.Mourrain},J.Symb。计算。28,编号1--2,3--44(1999;Zbl 0943.13005) 全文: 内政部 链接
董世平 积分域上的句子及其计算复杂性。 (英语) Zbl 0940.03015号 Inf.计算。 149,第2期,99-133(1999).MSC公司:03B25号 12升05 12升12 2015年3月1日 65年第68季度 12E25型 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Tung},Inf.计算。149,编号2,99--133(1999;Zbl 0940.03015) 全文: 内政部
董世平 场论的决定性碎片。 (英语) Zbl 0724.03010号 J.塞姆。日志。 55,第3期,1007-1018(1990). 审核人:T.Pheidas(伊拉克利翁) MSC公司:03B25号 12升05 PDF格式BibTeX公司 XML格式引用 \文本{S.-P.Tung},J.Symb。日志。55,第3号,1007--1018(1990;Zbl 0724.03010) 全文: 内政部
董世平 整域上句子的算法。 (英语) Zbl 0709.03003号 Ann.纯粹应用。逻辑 47,No.2,189-197(1990). 审核人:S.Vorob'ev公司 MSC公司:03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Tung},Ann.纯应用。逻辑47,No.2,189--197(1990;Zbl 0709.03003) 全文: 内政部
格里戈列夫,D.Yu。 苏联科学院交换部计算的复杂性。 (英语。俄文原件) Zbl 0771.68064号 数学。笔记 46,No.1,563-568(1989); 翻译自Mat.Zametki 46,No.1,96-104(1989)。MSC公司:65年第68季度 第13页 PDF格式BibTeX公司 XML格式引用 \textit{D.Yu.Grigor’ev},数学。注释46,编号1,563--568(1989;Zbl 0771.68064);翻译自Mat.Zametki 46,No.1,96--104(1989) 全文: 内政部