Jose Divasón;Joosten,Sebastian J.C。;雷内·蒂曼;Akihisa山田 Berlekamp-Zassenhaus因子分解算法的验证实现。 (英文) Zbl 1469.68165号 J.汽车。推理 64,第4号,699-735(2020).MSC公司:68伏15 03B35型 12-08 13第05页 68版本20 PDF格式BibTeX公司 XML格式引用 \textit{J.Divasón}等人,J.Autom。推理64,No.4,699--735(2020;Zbl 1469.68165) 全文: 内政部
陈兴伦;迈克尔·诺里什 有限域的分类及其应用。 (英文) Zbl 1468.68317号 J.汽车。推理 63,第3期,667-693(2019).MSC公司:68版本20 11个Txx 12E20型 PDF格式BibTeX公司 XML格式引用 \textit{H.-L.Chan}和textit{M.Norrish},J.Autom。推理63,No.3,667--693(2019;Zbl 1468.68317) 全文: 内政部
李文达;帕斯莫尔,格兰特·奥尼;劳伦斯·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公司
蒂莫西·斯托克斯 外代数中的Gröbner基。 (英文) Zbl 0702.68073号 J.汽车。推理 第6期,第3期,233-250页(1990年).MSC公司:68瓦30 13日第10天 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{T.Stokes},J.Autom。推理6,No.3,233--250(1990;Zbl 0702.68073) 全文: 内政部