林恩·皮克林;德尔·里奥·阿尔马亚诺,特雷索;英格兰,马修;科恩、凯利 符号计算的可解释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) 全文: DOI程序 arXiv公司 OA许可证
约翰·海丝特;布里兰·希塔吉;格兰特·帕斯莫尔;萨姆·奥雷;Natarajan Shankar;耶,埃里克 使用机器学习消除实际量词的增强MetiTarski数据集。 (英语) Zbl 07810740号 Catherine Dubois(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14101, 297-302 (2023).MSC公司:68伏xx PDF格式BibTeX公司 XML格式引用 \textit{J.Hester}等人,Lect。注释计算。科学。14101297-302(2023年;兹比尔07810740) 全文: DOI程序
德尔·雷奥,特雷索;英格兰,马修 基于复杂度分析选择圆柱代数分解变量排序的新启发式算法。 (英语) Zbl 1514.68323号 Boulier,François(编辑)等人,科学计算中的计算机代数。第24届国际研讨会,2022年8月22日至26日,土耳其格布泽,CASC 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13366, 300-317 (2022).MSC公司:68瓦30 第14页 2014年第30季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.del Río}和\textit{M.England},Lect。注释计算。科学。13366,300-317(2022;Zbl 1514.68323) 全文: DOI程序 arXiv公司
治愈,凯瑟琳;阿维纳什·库尔卡尼;埃姆雷·坎·塞尔特 深入学习高斯-马宁关系。 (英语) Zbl 1487.14128号 高级申请。克利夫德·阿尔盖布(Clifford Algebr)。 32,第2号,第24号论文,41页(2022年). 审核人:杨惠和(伦敦) MSC公司:2010年第14季度 14C22型 2007年第14天 3220国集团 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{K.Heal}等人,高级应用程序。克利夫德·阿尔盖布(Clifford Algebr)。32,第2号,第24号论文,41页(2022年;Zbl 1487.14128) 全文: DOI程序 arXiv公司 OA许可证
艾丽卡·阿尔布拉汉姆;詹姆斯·H·达文波特。;英格兰,马修;基里恩·克莱默 使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 (英语) 兹比尔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) 全文: DOI程序 arXiv公司 OA许可证
多里安·弗洛雷斯库;英格兰,马修 一种基于机器学习的软件管道,用于选择多项式输入算法的变量顺序。 (英语) 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) 全文: DOI程序 arXiv公司
陈昌波;朱、张鹏;池浩宇 基于人工神经网络的圆柱代数分解变量排序选择。 (英语) 兹比尔1503.68310 Bigatti、Anna Maria(编辑)等人,《数学软件——ICMS 2020》。第七届国际会议,德国布伦瑞克,2020年7月13日至16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12097, 281-291 (2020).MSC公司:68瓦30 2014年第30季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{C.Chen}等人,Lect。注释计算。科学。12097、281--291(2020年;Zbl 1503.68310) 全文: DOI程序
多里安·弗洛雷斯库;英格兰,Matthew 改进了分类器的交叉验证,分类器可以进行算法选择,从而在不影响输出正确性的情况下最小化运行时。 (英语) 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) 全文: DOI程序 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) 全文: DOI程序 arXiv公司
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰,马修;哈桑·埃拉米;弗拉基米尔·格特;迪马·格里戈里耶夫;查尔斯·霍伊特;马雷克·科什塔;奥维迪乌·拉杜列斯库;托马斯·斯特姆;安德烈亚斯·韦伯 识别某些生物网络的多个稳态的参数发生。 (英语) Zbl 1442.92056号 J.塞姆。计算。 98, 84-119 (2020). 审核人:阿米尔·哈希米(伊斯法罕) MSC公司:92立方厘米 68瓦30 92-08 PDF格式BibTeX公司 XML格式引用 \textit{R.Bradford}等人,J.Symb。计算。98,84-119(2020;Zbl 1442.92056) 全文: DOI程序 arXiv公司