多里安·弗洛雷斯库；英格兰，马修 一种基于机器学习的软件管道，用于选择多项式输入算法的变量顺序。 （英语） Zbl 1503.68311号 Bigatti、Anna Maria（编辑）等人，《数学软件——ICMS 2020》。第七届国际会议，德国布伦瑞克，2020年7月13日至16日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12097, 302-311 (2020).MSC公司：68瓦30 2014年第30季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Florescu}和\textit{M.英格兰}，莱克特。票据计算。科学。12097、302-311（2020年；Zbl 1503.68311） 全文： 内政部 arXiv公司
多里安·弗洛雷斯库；英格兰，马修 改进了分类器的交叉验证，分类器可以进行算法选择，从而在不影响输出正确性的情况下最小化运行时。 （英语） Zbl 07441081号 Daniel Slamanig（编辑）等人，《计算机和信息科学的数学方面》。2019年11月13日至15日在土耳其格布泽举行的2019年MACIS第八届国际会议。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。11989, 341-356 (2020).MSC公司：68倍 65-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{D.Florescu}和\textit{M.英格兰}，莱克特。票据计算。科学。11989、341--356（2020；Zbl 07441081） 全文： 内政部 arXiv公司
基里恩·克莱默；艾丽卡·阿尔布拉汉姆 完全增量柱面代数分解。 （英语） 兹比尔1432.68601 J.塞姆。计算。 100, 11-37 (2020).MSC公司：68瓦30 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Kremer}和\textit{E.ábrahám}，J.Symb。计算。100,11--37（2020年；Zbl 1432.68601） 全文： 内政部
黄宗彦；英格兰，马修；大卫·威尔逊。；詹姆斯·布里奇；詹姆斯·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公司
拉塞尔·布拉德福德；詹姆斯·H·达文波特。；英格兰，马修；斯科特·麦卡勒姆；大卫·威尔逊 真值表不变量柱面代数分解。 （英语） Zbl 1351.68314号 J.塞姆。计算。 76, 1-35 (2016).MSC公司：68瓦30 第14页99 1999年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bradford}等人，J.Symb。计算。76，1--35（2016；Zbl 1351.68314） 全文： 内政部 arXiv公司
詹姆斯·H·达文波特。；英格兰，马修 真实几何推理的最新进展。 （英语） Zbl 1434.68701号 Botana，Francisco（编辑）等人，《几何中的自动演绎》。2014年7月9日至11日，第十届国际研讨会，ADG 2014，葡萄牙科英布拉。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。9201, 37-52 (2015).MSC公司：68瓦30 03B35型 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}和\textit{M.英格兰}，莱克特。票据计算。科学。9201,37-52（2015；Zbl 1434.68701） 全文： 内政部 arXiv公司