维克托·列万多夫斯基;汉斯·施奈曼;扎伊德,卡里姆·阿布 信件位置–一个子系统单一用于通过字母位置嵌入的自由代数的计算。 (英语) Zbl 1514.68327号 Mantzaflaris,Angelos(编辑),第45届符号和代数计算国际研讨会论文集,ISSAC’20,希腊卡拉马塔,2020年7月20日至23日。纽约州纽约市:计算机协会(ACM)。305-311 (2020).MSC公司:68瓦30 13-04 14-04 PDF格式BibTeX公司 XML格式引用 \textit{V.Levandovskyy}等人,in:第45届符号和代数计算国际研讨会论文集,ISSAC’20,希腊卡拉马塔,2020年7月20-23日。纽约州纽约市:计算机协会(ACM)。305-311(2020年;Zbl 1514.68327) 全文: 内政部
英格兰,马修;多里安·弗洛雷斯库 比较机器学习模型以选择圆柱代数分解的变量顺序。 (英语) Zbl 1428.68399号 Kaliszyk,Cezary(编辑)等人,《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议,CICM 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11617, 93-108 (2019).MSC公司:68瓦30 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}和\textit{D.Florescu},莱克特。注释计算。科学。11617,93-108(2019;Zbl 1428.68399) 全文: 内政部 arXiv公司
黄宗岩;英格兰,马修;大卫·威尔逊。;詹姆斯·布里奇;詹姆斯·H·达文波特。;劳伦斯·C·鲍尔森。 使用机器学习改进柱面代数分解。 (英语) Zbl 1474.68464号 数学。计算。科学。 13,第4号,461-488(2019).MSC公司:68瓦30 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Huang}等人,数学。计算。科学。13,第4号,461--488(2019;Zbl 1474.68464) 全文: 内政部 arXiv公司
阿尔伯特·海因勒;维克托·列万多夫斯基 第一(q)-Weyl代数中(mathbb{Z})-齐次多项式的因式分解。 (英语) Zbl 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.Levandovsky},在:代数、几何和数论中的算法和实验方法。查姆:斯普林格。455--480(2017;Zbl 1400.16001) 全文: 内政部 arXiv公司
曼弗雷德·米米奈尔 协作计算机代数。 (英语) Zbl 1476.68311号 Kotsireas,Ilias S.(编辑)等人,《计算机代数的应用》,希腊卡拉马塔,2015年7月20日至23日。查姆:斯普林格。Springer程序。数学。《法律总汇》第198卷,第289-303页(2017年)。MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Minimair},施普林格程序。数学。Stat.198,289--303(2017;Zbl 1476.68311) 全文: 内政部
汉斯·格特·格拉贝 符号研究数据的语义软件指纹。 (英语) Zbl 1434.68655号 Greuel,Gert Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11-14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9725, 411-418 (2016).MSC公司:68伏35 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{H.-G.Gräbe},莱克特。注释计算。科学。9725、411--418(2016年;Zbl 1434.68655) 全文: 内政部