贾斯珀·纳尔巴赫;艾丽卡·阿尔布拉汉姆;菲利普·斯佩克特;克里斯托弗·布朗（Christopher W.Brown）。;詹姆斯·H·达文波特。;英格兰，马修 单个圆柱形代数单元的水平构造。 （英语） Zbl 07799840号 J.塞姆。计算。 123，文章ID 102288，44页（2024）.MSC公司：68瓦xx 68泰克 03Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{J.Nalbach}等人，J.Symb。计算。123，文章ID 102288，44 p.（2024；Zbl 07799840） 全文： 内政部 arXiv公司
詹姆斯·达文波特;比约恩·蓬宁;詹姆斯·梅纳德;哈拉尔德·赫尔夫戈特;Pham Huu Tiep公司;路易斯·克鲁兹·菲利佩 机器辅助校样。 （英语） Zbl 1452.68262号 Sirakov，Boyan（编辑）等人，《国际数学家大会论文集》，ICM 2018，巴西里约热内卢，2018年8月1日至9日。第一卷全体演讲。新泽西州哈肯萨克：世界科学；里约热内卢：巴西马特马提卡社会（SBM）。1085-1110（2018年）。MSC公司：68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Davenport}等人，in：2018年国际数学家大会会议记录，ICM 2018，巴西里约热内卢，2018年8月1-9日。第一卷全体演讲。新泽西州哈肯萨克：世界科学；里约热内卢：巴西马特马提卡社会（SBM）。1085--1110（2018；Zbl 1452.68262） 全文： 内政部 链接
詹姆斯·达文波特;比约恩·蓬宁;詹姆斯·梅纳德;哈拉尔德·赫尔夫戈特;铁普，Pham Huu;路易斯·克鲁兹·菲利佩 机器辅助证明（ICM 2018小组）。 arXiv:1809.08062 预印本，arXiv:1809.08062[math.HO]（2018）。MSC公司：03-04 11-04 20-04 BibTeX公司 引用 \textit{J.Davenport}等人，“机器辅助证明（ICM 2018小组）”，预印本，arXiv:1809.08062[math.HO]（2018） 全文： arXiv公司 OA许可证
英格兰，马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。 改进柱面代数分解中等式约束的使用。 （英语） Zbl 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年；兹bl 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公司
克里斯托弗·布朗（Christopher W.Brown）。;詹姆斯·H·达文波特。 量词消除和柱面代数分解的复杂性。 （英语） Zbl 1190.68028号 Brown，C.W.（编辑），ISSAC 2007。2007年7月29日至8月1日，加拿大安大略省滑铁卢，第32届符号和代数计算国际研讨会（ISSAC 2007）会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-743-8）。54-60 (2007).MSC公司：65年第68季度 03C10号机组 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Brown}和\textit{J.H.Davenport}，摘自：2007年符号和代数计算国际研讨会论文集，ISSAC 2007，加拿大安大略省滑铁卢，2007年7月29日至8月1日。纽约州纽约市：计算机协会（ACM）。54-60（2007；Zbl 1190.68028）
詹姆斯·博蒙特。;罗素·J·布拉德福德。;詹姆斯·H·达文波特。;纳利娜·菲桑布特 简化初等函数的多算法方法。 （英语） Zbl 1134.68594号 Gutierrez，Jaime（编辑），ISSAC 2004。2004年7月4日至7日，西班牙桑坦德，2004年符号和代数计算国际研讨会论文集。纽约州纽约市：ACM出版社（ISBN 1-58113-827-X/pbk）。27-34 (2004).MSC公司：68瓦30 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit｛J.C.Beaumont｝等人，载于：2004年符号和代数计算国际研讨会论文集，ISSAC 2004，西班牙桑坦德，2004年7月4日至7日。纽约州纽约市：ACM出版社。27-34（2004年；Zbl 1134.68594） 全文： 内政部
詹姆斯·H·达文波特。;乔斯·海因茨 实量词消除是双指数的。 （英语） Zbl 0663.03015号 J.塞姆。计算。 5，编号1-2，29-35（1988）. 审核人：李翔 MSC公司：03C10号机组 65年第68季度 12升05 68瓦30 12D99型 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}和textit{J.Heintz}，J.Symb。计算。5，编号1--2，29-35（1988；Zbl 0663.03015） 全文： 内政部
詹姆斯·H·达文波特。 有效数学——计算机代数观点。 （英语） Zbl 0482.03029号 建构数学，Proc。Conf.，Las Cruces/N.M.1980，Lect。数学笔记。873, 31-43 (1981).MSC公司：65楼03号 13A99号 68瓦99 68瓦30 2005年12月 PDF格式BibTeX公司 XML格式