林恩·皮克林;德尔·里奥·阿尔马亚诺,特雷索;英格兰,马修;科恩、凯利 符号计算的可解释AI见解:柱面代数分解变量顺序选择案例研究。 (英语) Zbl 07799836号 J.塞姆。计算。 123,文章ID 102276,24 p.(2024).MSC公司:68瓦30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Pickering}等人,J.Symb。计算。123,文章ID 102276,24 p.(2024;Zbl 07799836) 全文: 内政部 arXiv公司
艾丽卡·阿尔布拉汉姆;詹姆斯·H·达文波特。;英格兰,马修;基里恩·克莱默 使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 (英语) 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 1503.68311号 Bigatti、Anna Maria(编辑)等人,《数学软件——ICMS 2020》。第七届国际会议,德国布伦瑞克,2020年7月13日至16日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12097, 302-311 (2020).MSC公司:68瓦30 2014年第30季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Florescu}和\textit{M.英格兰},莱克特。票据计算。科学。12097、302-311(2020年;Zbl 1503.68311) 全文: 内政部 arXiv公司
阿克沙·奈尔;詹姆斯·达文波特;格雷戈里·桑卡兰 CAD中的窗帘:为什么它们是一个问题,我们如何解决它们? (英语) Zbl 1503.68314号 Bigatti、Anna Maria(编辑)等人,《数学软件——ICMS 2020》。第七届国际会议,德国布伦瑞克,2020年7月13日至16日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12097, 17-26 (2020).MSC公司:68瓦30 2014年第30季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Nair}等人,Lect。票据计算。科学。12097,17-26(2020;Zbl 1503.68314) 全文: 内政部
多里安·弗洛雷斯库;英格兰,马修 改进了分类器的交叉验证,分类器可以进行算法选择,从而在不影响输出正确性的情况下最小化运行时。 (英语) Zbl 07441081号 Daniel Slamanig(编辑)等人,《计算机和信息科学的数学方面》。2019年11月13日至15日在土耳其格布泽举行的2019年MACIS第八届国际会议。修订了选定的论文。查姆:斯普林格。莱克特。票据计算。科学。11989, 341-356 (2020).MSC公司:68倍 65-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{D.Florescu}和\textit{M.英格兰},莱克特。票据计算。科学。11989、341--356(2020;Zbl 07441081) 全文: 内政部 arXiv公司
英格兰,马修;拉塞尔·布拉德福德;詹姆斯·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公司