英格兰，马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。 带等式约束的柱面代数分解。 （英文） Zbl 1432.68599号 J.塞姆。计算。 100, 38-71 (2020).MSC公司：68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}等人，J.塞姆。计算。100,38--71（2020；Zbl 1432.68599） 全文： 内政部 arXiv公司
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰，马修;哈桑·埃拉米;弗拉基米尔·格特;迪马·格里戈里耶夫;查尔斯·霍伊特;马雷克·科什塔;奥维迪乌·拉杜列斯库;托马斯·斯特姆;安德烈亚斯·韦伯 识别某些生物网络的多个稳态的参数发生。 （英文） Zbl 1442.92056号 J.塞姆。计算。 98, 84-119 (2020). 审核人：阿米尔·哈希米（伊斯法罕） MSC公司：92立方厘米 68瓦30 92-08 PDF格式BibTeX公司 XML格式引用 \textit{R.Bradford}等人，J.Symb。计算。98，84-119（2020；Zbl 1442.92056） 全文： 内政部 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年；兹bl 1351.68314） 全文： 内政部 arXiv公司
D.J.威尔逊。;R.J.布拉德福德。;J.H.达文波特。;英格兰，M。 圆柱代数子分解。 （英文） 兹比尔1309.68232 数学。计算。科学。 8，第2期，263-288（2014）.MSC公司：68瓦30 第14页 2014年第20季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Wilson}等人，数学。计算。科学。8，第2号，263--288（2014；Zbl 1309.68232） 全文： 内政部 arXiv公司
英格兰，马修;拉塞尔·布拉德福德;陈昌波;詹姆斯·H·达文波特。;马克·莫雷诺（Marc Moreno Maza）;大卫·威尔逊 通过增量三角分解实现真稳定不变圆柱代数分解的问题公式。 （英文） Zbl 1304.68223号 Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。人工智能课堂讲稿，45-60（2014）。MSC公司：68瓦30 第14页 1999年第14季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}等人，Lect。注释计算。科学。8543，45-60（2014；Zbl 1304.68223） 全文： 内政部 arXiv公司
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;克里斯托弗·桑温。 计算机代数中的等式与数学教学中的正确性的比较。 （英文） Zbl 1247.97004号 Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议，作为2009年CICM的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学课程讲稿5625。人工智能课堂讲稿，75-89（2009）。MSC公司：97D60型 68瓦30 97单位50 PDF格式BibTeX公司 XML格式引用 \textit{R.Bradford}等人，Lect。注释计算。科学。5625，75-89（2009年；Zbl 1247.97004） 全文： 内政部 链接
詹姆斯·博蒙特。;罗素·J·布拉德福德。;詹姆斯·H·达文波特。;纳利娜·菲桑布特 使用CAD测试基本功能标识。 （英文） Zbl 1142.68618号 申请。代数工程通讯。计算。 18，第6号，513-543（2007）.MSC公司：68瓦30 第13页99 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Beaumont}等人，应用。代数工程通讯。计算。18，第6号，513--543（2007；Zbl 1142.68618） 全文： 内政部