贾斯珀·纳尔巴赫；艾丽卡·阿尔布拉汉姆；菲利普·斯佩克特；克里斯托弗·布朗（Christopher W.Brown）。；詹姆斯·H·达文波特。；英格兰，马修 单个圆柱形代数单元的水平构造。 （英语） Zbl 07799840号 J.塞姆。计算。 123，文章ID 102288，44 p.（2024）.MSC公司：68瓦xx 68泰克 03Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{J.Nalbach}等人，J.Symb。计算。123，文章ID 102288，44页（2024；Zbl 07799840） 全文： 内政部 arXiv公司
英格兰，马修；拉塞尔·布拉德福德；詹姆斯·H·达文波特。 改进柱面代数分解中等式约束的使用。 （英语） 兹比尔1346.68283 第40届符号和代数计算国际研讨会论文集，ISSAC 2015，英国巴斯，2015年7月6日至9日。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-3435-8）。165-172 (2015).MSC公司：68瓦30 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.England}等人，《第40届符号和代数计算国际研讨会论文集》，ISSAC 2015，英国巴斯，2015年7月6-9日。纽约州纽约市：计算机协会（ACM）。165-172（2015；Zbl 1346.68283） 全文： 内政部 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公司