詹姆斯·哈罗德·达文波特 证明算法的执行正确吗? (英语) Zbl 07810736号 Dubois,Catherine(编辑)等人,《智能计算机数学》。第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 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) 全文: 内政部 arXiv公司
伊利森达·费利乌;阿米罗申·萨德吉马内什 Kac-Rice公式和多项式方程参数化系统的解数。 (英语) Zbl 1502.14145号 数学。计算。 91,编号338,2739-2769(2022). 审核人:Rick Rischter(意大利) MSC公司:2014年第30季度 第13页,共15页 65二氧化碳 65天30分 PDF格式BibTeX公司 XML格式引用 \textit{E.Feliu}和\textit{A.Sadeghimanesh},数学。计算。91,编号338,2739--2769(2022;Zbl 1502.14145) 全文: 内政部 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公司
英格兰,马修;拉塞尔·布拉德福德;詹姆斯·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公司
基里恩·克莱默;艾丽卡·阿尔布拉汉姆 完全增量柱面代数分解。 (英语) Zbl 1432.68601号 J.塞姆。计算。 100, 11-37 (2020).MSC公司:68瓦30 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Kremer}和\textit{E.ábrahám},J.Symb。计算。100,11--37(2020年;Zbl 1432.68601) 全文: 内政部
拉塞尔·布拉德福德;詹姆斯·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) 全文: 内政部 arXiv公司
黄宗岩;英格兰,马修;大卫·J·威尔逊。;布里奇,詹姆斯;詹姆斯·H·达文波特。;劳伦斯·C·鲍尔森。 使用机器学习改进柱面代数分解。 (英语) Zbl 1474.68464号 数学。计算。科学。 第4期第13期第461-488页(2019年).MSC公司:68瓦30 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Huang}等人,数学。计算。科学。13,第4号,461--488(2019;Zbl 1474.68464) 全文: 内政部 arXiv公司
阿米尔·霍森·萨德吉马内什;伊利森达·费利乌 中间网络和二项式核心网络的多平稳结构。 (英语) Zbl 1417.92058号 牛市。数学。生物。 81,第7期,2428-2462(2019).MSC公司:92立方厘米 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Sadeghimanesh}和\textit{E.Feliu},公牛。数学。生物学81,第7期,2428--2462(2019;Zbl 1417.92058) 全文: 内政部 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 1434.68702号 Greuel,Gert-Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11-14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9725, 157-164 (2016).MSC公司:68瓦30 13页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}和\textit{M.England},Lect。注释计算。科学。9725,157--164(2016;Zbl 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公司