黄宗岩;英格兰,马修;大卫·威尔逊。;詹姆斯·布里奇;詹姆斯·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 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公司
英格兰,M。;Cheb-Terrab,E.公司。;R.布拉德福德。;J.H.达文波特。;Wilson,D。 枫树17的枝条被剪断。 (英语) Zbl 1369.68358号 ACM通信。计算。代数 48,第1期,24-27(2014).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.England}等人,ACM Commun。计算。《代数》48,第1期,24-27(2014;Zbl 1369.68358) 全文: 内政部 arXiv公司 链接
D.J.威尔逊。;R.J.布拉德福德。;J.H.达文波特。;英格兰,M。 圆柱代数子分解。 (英语) Zbl 1309.68232号 数学。计算。科学。 8,第2期,263-288(2014).MSC公司:68瓦30 第14页 2014年第20季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Wilson}等人,数学。计算。科学。8,第2号,263--288(2014;Zbl 1309.68232) 全文: 内政部 arXiv公司
拉塞尔·布拉德福德;陈昌波;詹姆斯·H·达文波特。;英格兰,马修;莫雷诺·马扎,马克;大卫·威尔逊 正则链的真值表不变柱面代数分解。 (英语) 兹比尔1350.68293 Gerdt,Vladimir P.(编辑)等人,科学计算中的计算机代数。2014年9月8日至12日在波兰华沙举行的中国社会科学院2014年第16届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-10514-7/pbk)。计算机科学讲座笔记8660,44-58(2014)。MSC公司:68瓦30 第14页99 1999年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bradford}等人,Lect。注释计算。科学。8660,44-58(2014;Zbl 1350.68293) 全文: 内政部 arXiv公司
英格兰,马修;大卫·威尔逊;拉塞尔·布拉德福德;詹姆斯·H·达文波特。 使用正则链库通过投影和提升来构建柱面代数分解。 (英语) Zbl 1437.14008号 Hong,Hoon(编辑)等人,《数学软件——ICMS 2014》。第四届国际会议,韩国首尔,2014年8月5日至9日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8592, 458-465 (2014).MSC公司:14-04 2016年第14季度 13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}等人,Lect。注释计算。科学。8592、458--465(2014年;Zbl 1437.14008) 全文: 内政部 arXiv公司
英格兰,马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。;大卫·威尔逊 通过增量三角分解为真稳定不变柱面代数分解选择变量排序。 (英语) Zbl 1350.68294号 Hong,Hoon(编辑)等人,《数学软件——ICMS 2014》。第四届国际会议,韩国首尔,2014年8月5日至9日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-44198-5/pbk)。计算机科学课堂讲稿8592,450-457(2014)。MSC公司:68瓦30 第14页99 1999年第14季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}等人,Lect。注释计算。科学。8592450-457(2014年;Zbl 1350.68294) 全文: 内政部 arXiv公司
黄宗岩;英格兰,马修;大卫·威尔逊;詹姆斯·H·达文波特。;劳伦斯·C·鲍尔森。;詹姆斯·布里奇 将机器学习应用于选择启发式方法来选择圆柱代数分解的变量顺序的问题。 (英语) Zbl 1304.68224号 Watt,Stephen M.(编辑)等人,《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-08433-6/pbk)。计算机科学课程讲稿8543。《人工智能课堂讲稿》,92-107(2014)。MSC公司:68瓦30 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Huang}等人,Lect。注释计算。科学。8543,92-107(2014;Zbl 1304.68224) 全文: 内政部 arXiv公司
英格兰,马修;拉塞尔·布拉德福德;陈昌波;詹姆斯·H·达文波特。;马克·莫雷诺(Marc Moreno Maza);大卫·威尔逊 通过增量三角分解实现真稳定不变圆柱代数分解的问题公式。 (英语) Zbl 1304.68223号 Watt,Stephen M.(编辑)等人,《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-08433-6/pbk)。计算机科学课程讲稿8543。人工智能课堂讲稿,45-60(2014)。MSC公司:68瓦30 第14页 1999年第14季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}等人,Lect。注释计算。科学。8543,45-60(2014年;兹比尔1304.68223) 全文: 内政部 arXiv公司
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰,马修;斯科特·麦卡勒姆;大卫·威尔逊 布尔组合的柱面代数分解。 (英语) Zbl 1359.68327号 Kauers,Manuel(编辑),第38届符号和代数计算国际研讨会论文集,ISSAC 2013,美国马萨诸塞州波士顿,2013年6月26日至29日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2059-7)。125-132 (2013).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Bradford}等人,《第38届符号与代数计算国际研讨会论文集》,ISSAC 2013,美国马萨诸塞州波士顿,2013年6月26-29日。纽约州纽约市:计算机协会(ACM)。125-132(2013年;Zbl 1359.68327) 全文: 内政部 arXiv公司 链接
英格兰,马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。;大卫·威尔逊 理解表达式的分支切割。 (英语) Zbl 1390.68777号 Carette,Jacques(编辑)等人,《智能计算机数学》。MKM、Calculemus、DML以及2013年系统和项目,作为2013年CICM的一部分,于2013年7月8日至12日在英国巴斯举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39319-8/pbk)。计算机科学讲座笔记7961。人工智能课堂讲稿,136-151(2013)。MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}等人,Lect。注释计算。科学。7961,136--151(2013;Zbl 1390.68777) 全文: 内政部 arXiv公司
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰,马修;大卫·威尔逊 优化圆柱代数分解的问题公式。 (英语) Zbl 1390.68775号 Carette,Jacques(编辑)等人,《智能计算机数学》。MKM、Calculemus、DML以及2013年系统和项目,作为2013年CICM的一部分,于2013年7月8日至12日在英国巴斯举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39319-8/pbk)。计算机科学讲座笔记7961。人工智能讲义,19-34(2013)。MSC公司:68瓦30 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{R.Bradford}等人,Lect。注释计算。科学。7961、19-34(2013年;Zbl 1390.68775) 全文: 内政部 arXiv公司