詹姆斯·哈罗德·达文波特 证明算法的执行正确吗？ （英语） Zbl 07810736号 Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 255-269 (2023).MSC公司：68伏xx PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}，莱克特。注释计算。科学。14101255-269（2023；Zbl 07810736） 全文： 内政部
杰兰迪·布里托;克里斯托弗·福勒;琼格，马修;阿维·利维 Ewens抽样和不变量生成。 （英语） Zbl 1402.60014号 梳子。普罗巴伯。计算。 27，第6号，853-891（2018）.MSC公司：60二氧化碳 2005年12月 68瓦20 68瓦30 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{G.Brito}等人，库姆。普罗巴伯。计算。27，第6号，853--891（2018；Zbl 1402.60014） 全文： 内政部 arXiv公司
伯恩德·肖姆堡 基本体和轨道分解。 （英语） Zbl 1391.20004号 美国数学。周一。 123，第9号，920-923（2016）.MSC公司：20B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Schomburg}，美国数学。周一。123，第9号，920--923（2016；Zbl 1391.20004） 全文： 内政部
罗宾·佩曼特尔;尤瓦尔·佩雷斯;伊戈尔里文 对手共轭的四个随机排列生成{宋体}_{n} \），概率很高。 （英语） Zbl 1349.05337号 随机结构。算法 49，第3期，409-428（2016）.MSC公司：2015年5月 20B30码 20第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.Pemantle}等人，《随机结构》。算法49，No.3，409--428（2016；Zbl 1349.05337） 全文： 内政部 arXiv公司 反向链接： 卫生官员
妮可·萨瑟兰 计算多项式的Galois群（尤其是素特征函数域上的Galoi群）。 （英语） Zbl 1393.11073号 J.塞姆。计算。 71, 73-97 (2015).MSC公司：11兰特32 11年40 PDF格式BibTeX公司 XML格式引用 \textit{N.Sutherland}，J.Symb。计算。71、73——97（2015；Zbl 1393.11073） 全文： 内政部
Gómez-Molleda，M.天使 广义对称和交替伽罗瓦群的显式判定。 （英语） Zbl 1159.12001年 J.纯应用。代数 208，第2期，541-547（2007）. 审核人：Mowaffaq Hajja（爱尔兰） MSC公司：12楼 2005年12月 11兰特32 PDF格式BibTeX公司 XML格式引用 \textit{M.á.Gómez-Molleda}，J.Pure Appl.《纯粹的应用》。代数208，第2期，541--547（2007年；Zbl 1159.12001） 全文： 内政部