克里斯蒂安·埃德尔;贾斯汀·加斯;约翰·佩里 修改Faugère的F5算法以确保终止。 (英语) Zbl 1305.68353号 ACM通信。计算。代数 45,第2期,70-89(2011). 引用于6文件 MSC公司: 68瓦30 符号计算和代数计算 13页第10页 Gröbner碱;理想和模块的其他基础(例如Janet和border基础) 软件:岩浆;单一;PolyBoRi公司;F5C型;MXL3型 PDF格式BibTeX公司 XML格式引用 \textit{C.Eder}等人,ACM Commun。计算。代数45,第2期,70-89(2011年;Zbl 1305.68353) 全文: 内政部 arXiv公司