詹姆斯·H·达文波特。;英格兰，马修;斯科特·麦卡勒姆;阿里·K·恩库。 实量词消除中的迭代结果和有理函数。 arXiv:2312.16210号 预印本，arXiv:2312.16210[cs.SC]（2023）。MSC公司：68瓦30 BibTeX公司 引用 \textit{J.H.Davenport}等人，“实量词消除中的迭代结果和有理函数”，预打印，arXiv:2312.16210[cs.SC]（2023） 全文： arXiv公司 OA许可证
阿克沙尔·奈尔;詹姆斯·达文波特;格雷戈里·桑卡兰;斯科特·麦卡勒姆 Lazard的CAD利用等式约束。 （英语） Zbl 07640868号 ACM通信。计算。代数 53，第3期，138-141（2019）.MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Nair}等人，ACM Commun。计算。代数53，No.3，138--141（2019；Zbl 07640868） 全文： 内政部
拉塞尔·布拉德福德;詹姆斯·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 1359.68327号 Kauers，Manuel（编辑），《第38届符号和代数计算国际研讨会论文集》，ISSAC 2013，美国马萨诸塞州波士顿，2013年6月26-29日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2059-7）。125-132 (2013).MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Bradford}等人，《第38届符号与代数计算国际研讨会论文集》，ISSAC 2013，美国马萨诸塞州波士顿，2013年6月26-29日。纽约州纽约市：计算机协会（ACM）。125-132（2013年；Zbl 1359.68327） 全文： 内政部 arXiv公司 链接