×

找到27个文档(结果1-27)

多孔不变量。 (英语) Zbl 1493.68117号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12760, 172-194 (2021).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用

带参数的系统,或33年后高效求解多项式方程组。二、。 (英语。俄文原件) Zbl 1445.13025号

数学杂志。科学。,纽约 240,第5号,594-616(2019); Zap的翻译。诺什。塞明。POMI 468138-176(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有参数的系统,或有效求解多项式方程组:33年后。一、。 (英语。俄文原件) Zbl 1405.13050号

数学杂志。科学。,纽约 232,第2期,177-203(2018); Zap的翻译。诺什。塞明。POMI 462122-166(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第一(q)-Weyl代数中(mathbb{Z})-齐次多项式的因式分解。 (英语) 兹比尔1400.16001

Böckle,Gebhard(编辑)等人,代数、几何和数论中的算法和实验方法。查姆:施普林格(ISBN 978-3-319-70565-1/hbk;978-3-3169-70566-8/电子书)。455-480 (2017).
PDF格式BibTeX公司 XML格式引用

将Newton-Puiseux算法推广到非零特征地面场的情况。一、。 (英语。俄文原件) Zbl 1383.14016号

圣彼得堡数学。J。 28,第6号,825-853(2017); 代数分析的翻译。28,第6期,147-188(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第一贝尔蒂尼定理的确定多项式时间算法。三、。 (英语。俄文原件) Zbl 1326.14141号

数学杂志。科学。,纽约 209,第6号,1005-1019(2015); Zap的翻译。诺什。塞明。POMI 432297-323(2015)。
MSC公司:2015年第14季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在多项式时间内计算零特征中的主态射度。四、。 (英语。俄文原件) Zbl 1173.14347号

数学杂志。科学。,纽约 158,第6号,912-927(2009); Zap的翻译。诺什。塞明。POMI 360260-294(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种改进的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格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份