詹姆斯·哈罗德·达文波特;阿克沙尔·萨吉夫·奈尔;格雷戈里·库马尔·桑卡兰;阿里·凯末尔·恩库 Lazard风格的CAD和方程式约束。 （英语） Zbl 07760765号 Dickenstein，Alicia（编辑）等人，第48届符号和代数计算国际研讨会论文集，ISSAC，挪威特罗姆索，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。218-226（2023年）。MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}等人，《第48届符号和代数计算国际研讨会论文集》，ISSAC，挪威特罗姆瑟，2023年7月24-27日。纽约州纽约市：计算机协会（ACM）。218--226（2023；Zbl 07760765） 全文： 内政部 arXiv公司
英格兰，马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。 带等式约束的柱面代数分解。 （英语） Zbl 1432.68599号 J.塞姆。计算。 100, 38-71 (2020).MSC公司：68瓦30 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}等人，J.塞姆。计算。100,38--71（2020；Zbl 1432.68599） 全文： 内政部 arXiv公司
黄宗岩;英格兰，马修;大卫·威尔逊。;詹姆斯·布里奇;詹姆斯·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 1453.13079号 Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2016年9月19日至23日，罗马尼亚布加勒斯特，第18届国际研讨会，CASC 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9890, 172-192 (2016).MSC公司：13页第10页 第13页，共15页 65D17号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}和\textit{J.H.达文波特}，莱克特。注释计算。科学。9890、172--192（2016年；Zbl 1453.13079） 全文： 内政部 arXiv公司
詹姆斯·H·达文波特。;英格兰，马修 多项式系统需要是双指数的吗？ （英语） Zbl 1434.68702号 Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 157-164 (2016).MSC公司：68瓦30 13页第10页 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}和\textit{M.英格兰}，莱克特。注释计算。科学。97255157-164（2016年；兹比尔1434.68702） 全文： 内政部 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公司
梅德利纳·埃拉什库;Hoon Hong 最佳数值算法合成的实量词消除（案例研究：平方根计算）。 （英语） Zbl 1335.68300号 J.塞姆。计算。 75, 110-126 (2016).MSC公司：68瓦30 03C10号机组 65G40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Erašcu}和\textit{H.Hong}，J.Symb。计算。75、110-126（2016；Zbl 1335.68300） 全文： 内政部
陈昌波;马克·莫雷诺·马扎 基于正则链的柱面代数分解的量词消除。 （英语） 兹比尔1398.68695 J.塞姆。计算。 75, 74-93 (2016).MSC公司：68瓦30 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit｛C.Chen｝和\textit｛M.Moreno Maza｝，J.Symb。计算。75、74-93（2016年；Zbl 1398.68695） 全文： 内政部
斯科特·麦卡勒姆;Hoon Hong 关于Lazard投影在CAD构造中的应用。 （英语） Zbl 1325.13026号 J.塞姆。计算。 72, 65-81 (2016). 审核人：弗朗西丝卡·乔菲（那不勒斯） MSC公司：13第05页 68瓦30 03G15年 1999年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{S.McCallum}和\textit{H.Hong}，J.Symb。计算。72、65-81（2016年；Zbl 1325.13026） 全文： 内政部 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公司
Hoon Hong;唐晓仙;夏碧灿 用于多稳态生物调节系统稳定性分析的特殊算法。 （英语） Zbl 1328.92028号 J.塞姆。计算。 70, 112-135 (2015).MSC公司：92立方厘米 34D20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{H.Hong}等人，J.Symb。计算。70112-135（2015年；Zbl 1328.92028） 全文： 内政部 arXiv公司
D.J.威尔逊。;R.J.布拉德福德。;J.H.达文波特。;英格兰，M。 圆柱代数子分解。 （英语） Zbl 1309.68232号 数学。计算。科学。 第8号，第263-288页（2014年）.MSC公司：68瓦30 第14页 2014年第20季度 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Wilson}等人，数学。计算。科学。8，第2号，263--288（2014；Zbl 1309.68232） 全文： 内政部 arXiv公司
黄宗岩;英格兰，马修;大卫·威尔逊;詹姆斯·H·达文波特。;劳伦斯·C·鲍尔森。;詹姆斯·布里奇 将机器学习应用于选择启发式方法来选择圆柱代数分解的变量顺序的问题。 （英语） Zbl 1304.68224号 Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能课堂讲稿》，92-107（2014）。MSC公司：68瓦30 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Huang}等人，Lect。注释计算。科学。8543，92-107（2014；Zbl 1304.68224） 全文： 内政部 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.England｝等人，Lect。注释计算。科学。8543，45-60（2014；Zbl 1304.68223） 全文： 内政部 arXiv公司