詹姆斯·哈罗德·达文波特 证明算法的执行正确吗? (英语) Zbl 07810736号 Catherine Dubois(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14101, 255-269 (2023).MSC公司:68伏xx PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport},莱克特。注释计算。科学。14101255-269(2023;Zbl 07810736) 全文: 内政部
艾丽卡·阿尔布拉汉姆;詹姆斯·达文波特。;英格兰,马修;基里恩·克莱默 使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 (英语) Zbl 1509.68243号 J.日志。阿尔盖布。方法计划。 119,文章ID 100633,33 p.(2021).MSC公司:68T20型 68伏15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Ábrahám}等人,J.Log。阿尔盖布。方法程序。119,文章ID 100633,33 p.(2021;Zbl 1509.68243) 全文: 内政部 arXiv公司
英格兰,马修;拉塞尔·布拉德福德;詹姆斯·达文波特。 带等式约束的柱面代数分解。 (英语) 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公司
詹姆斯·达文波特。(编辑);英格兰,马修(编辑);阿尔贝托·格里乔(编辑);托马斯·斯特姆(编辑);塞萨尔·蒂内利(编辑) 编辑:符号计算和可满足性检查。 (英语) Zbl 1444.68006号 J.塞姆。计算。 100, 1-10 (2020).MSC公司:68-06 68兰特 68T20型 68瓦30 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}(编辑)等,J.Symb。计算。100,1-10(2020年;Zbl 1444.68006) 全文: 内政部
黄宗岩;英格兰,马修;大卫·J·威尔逊。;布里奇,詹姆斯;詹姆斯·达文波特。;劳伦斯·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公司
詹姆斯·达文波特 符号计算方法。 (英语) 兹比尔1515.68382 Fleuriot,Jacques(编辑)等人,《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。11110, 19-33 (2018).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Davenport},莱克特。注释计算。科学。11110、19-33(2018年;Zbl 1515.68382) 全文: 内政部
詹姆斯·达文波特。 “不失一般性”是什么意思?我们如何检测它。 (英语) Zbl 1425.68464号 数学。计算。科学。 11,编号3-4,297-303(2017).MSC公司:68瓦30 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport},数学。计算。科学。11,编号3--4,297--303(2017;Zbl 1425.68464) 全文: 内政部
E·阿尔布拉哈姆。;雅培,J。;B.贝克尔。;A.M.比加蒂。;布莱恩,M。;布赫伯格,B。;A.西马蒂。;J.H.达文波特。;英格兰,M。;方丹,P。;福雷斯特,S。;A.格里乔。;科隆,D。;西勒,W.M。;Sturm,T。 满意度检查和符号计算。 (英语) Zbl 1365.68478号 ACM通信。计算。代数 50,第4期,145-147(2016).MSC公司:68瓦30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Ábrahám}等人,ACM社区。计算。代数50,第4期,145-147(2016;Zbl 1365.68478) 全文: 内政部 arXiv公司 链接