维克托·马格伦;穆罕默德·萨弗里·埃尔丁;马库斯·施维霍夫 非负一元多项式的加权平方和分解算法。 (英语) Zbl 1420.13058号 J.塞姆。计算。 93, 200-220 (2019).MSC公司:13J30型 第14页 13页第10页 68瓦40 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Magron}等人,J.Symb。计算。93、200-220(2019年;Zbl 1420.13058) 全文: 内政部 arXiv公司 哈尔
奥尔加·卡普洛蒂;马尔蒂恩·奥斯蒂克 利用计算机代数神谕进行形式化和有效的素性证明。 (英语) Zbl 1044.03503号 J.塞姆。计算。 32,编号1-2,55-70(2001).MSC公司:03B35型 11年11月 68瓦30 第68页第15页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{O.Caprotti}和\textit{M.Oostdijk},J.Symb。计算。32,编号1--2,55-70(2001;Zbl 1044.03503) 全文: 内政部