詹姆斯·哈罗德·达文波特;阿克沙尔·萨吉夫·奈尔;格雷戈里·库马尔·桑卡兰;阿里·凯末尔·恩库 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公司
马丁·赫尔默;维迪特·南达 共形空间和Whitney分层。 （英语） Zbl 07749824号 已找到。计算。数学。 23，第5期，1745-1780（2023）.MSC公司：14B05型 2014年第20季度 第32页第15页 32系列60 PDF格式BibTeX公司 XML格式引用 \textit{M.Helmer}和\textit{V.Nanda}，已找到。计算。数学。23，第5号，1745-1780（2023；Zbl 07749824） 全文： 内政部 arXiv公司 OA许可证
英格兰，马修;拉塞尔·布拉德福德;詹姆斯·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·达文波特。;劳伦斯·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日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。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 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公司