贾斯珀·纳尔巴赫；艾丽卡·阿尔布拉汉姆；菲利普·斯佩克特；克里斯托弗·布朗（Christopher W.Brown）。；詹姆斯·H·达文波特。；英格兰，马修 单个圆柱形代数单元的水平构造。 （英语） Zbl 07799840号 J.塞姆。计算。 123，文章ID 102288，44 p.（2024）.MSC公司：68瓦xx 68泰克 03立方厘米xx PDF格式BibTeX公司 XML格式引用 \textit{J.Nalbach}等人，J.Symb。计算。123，文章ID 102288，44 p.（2024；Zbl 07799840） 全文： 内政部 arXiv公司
詹姆斯·哈罗德·达文波特；阿克沙尔·萨吉夫·奈尔；格雷戈里·库马尔·桑卡兰；阿里·凯末尔·恩库 Lazard风格的CAD和方程式约束。 （英语） 兹伯利07760765 Dickenstein，Alicia（编辑）等人，第48届符号和代数计算国际研讨会论文集，ISSAC，挪威特罗姆索，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。218-226 (2023).MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit｛J.H.Davenport｝等人，载：第48届符号和代数计算国际研讨会论文集，ISSAC，挪威特罗姆瑟，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。218--226（2023；Zbl 07760765） 全文： 内政部 arXiv公司
陈日增；夏碧灿 确定涉及一元混合三角多项式的一阶公式。 （英语） Zbl 07760757号 Dickenstein，Alicia（编辑）等人，第48届符号和代数计算国际研讨会论文集，ISSAC，挪威特罗姆索，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。145-154 (2023).MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Chen}和\textit{B.Xia}，《第48届符号和代数计算国际研讨会论文集》，ISSAC，挪威特罗姆瑟，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。145--154（2023年；Zbl 07760757） 全文： 内政部
李浩坤；夏碧灿；张慧莹；郑涛 利用弦结构为柱面代数分解选择更好的变量次序。 （英语） Zbl 07621056号 J.塞姆。计算。 116, 324-344 (2023).MSC公司：68瓦xx 第13页 14-XX年 PDF格式BibTeX公司 XML格式引用 \textit{H.Li}等人，J.Symb。计算。116、324--344（2023；Zbl 07621056） 全文： 内政部 arXiv公司
德尔·雷奥，特雷索；英格兰，马修 基于复杂度分析选择圆柱代数分解变量排序的新启发式算法。 （英语） 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公司
Elisenda费柳；阿米罗申·萨德吉马内什 Kac-Rice公式和多项式方程参数化系统的解数。 （英语） Zbl 1502.14145号 数学。计算。 91，编号338，2739-2769（2022）. 审核人：里克·里希特（伊塔朱巴） 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·达文波特。；英格兰，马修；基里恩·克莱默 使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 （英语） 兹比尔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.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） 全文： 内政部
多里安·弗洛雷斯库；英格兰，马修 改进了分类器的交叉验证，分类器可以进行算法选择，从而在不影响输出正确性的情况下最小化运行时。 （英语） 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公司
J.H.达文波特。；洛卡特利，A.F。；桑卡兰，G.K。 正则柱面代数分解。 （英语） Zbl 1454.14136号 J.隆德。数学。社会学，II。序列号。 101，编号1，43-59（2020）.MSC公司：第14页 99年第57季度 57N99型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}等人，J.Lond。数学。社会学，II。序列号。101，第1号，43-59（2020；Zbl 1454.14136） 全文： 内政部 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页第42页 68瓦30 92-08 PDF格式BibTeX公司 XML格式引用 \textit{R.Bradford}等人，J.Symb。计算。98，84-119（2020；Zbl 1442.92056） 全文： 内政部 arXiv公司
黄宗岩；英格兰，马修；大卫·威尔逊。；詹姆斯·布里奇；詹姆斯·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公司
斯科特·麦卡勒姆；亚当·帕鲁森斯基；劳伦蒂·鲍内斯库 拉扎德CAD构造方法的有效性证明。 （英语） Zbl 1419.14084号 J.塞姆。计算。 92, 52-69 (2019). 审核人：Nelly Villamizar（斯旺西） MSC公司：第14页 68瓦30 03C10号机组 第14季度20 PDF格式BibTeX公司 XML格式引用 \textit{S.McCallum}等人，J.Symb。计算。92、52-69（2019年；Zbl 1419.14084） 全文： 内政部 arXiv公司
松崎隆彦；伊瓦内、希德诺；Munehiro小林；詹益阳；藤崎隆彦；朱玛·库多；阿奈、平子；Noriko H.Arai。 智囊团能在数学奥林匹克比赛中获得奖牌吗对大学前问题的机械化数学进行基准测试。 （英语） Zbl 1462.68152号 AI通讯。 31，第3期，251-266（2018）.MSC公司：68T01型 00A07年 68伏15 68V20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit｛T.Matsuzaki｝等人，人工智能公社。31，第3号，251--266（2018；Zbl 1462.68152） 全文： 内政部
英格兰，马修；詹姆斯·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.英格兰}，莱克特。注释计算。科学。9725，157--164（2016；Zbl 1434.68702） 全文： 内政部 arXiv公司
艾丽卡·阿尔布拉汉姆；约翰·阿伯特；贝恩德·贝克尔；安娜·比加蒂（Anna M.Bigatti）。；布莱恩，马丁；布赫伯格，布鲁诺；亚历山德罗·西马蒂；詹姆斯·H·达文波特。；英格兰，马修；帕斯卡·方丹；史蒂芬·福雷斯特；阿尔贝托·格里乔；丹尼尔·克罗宁；Werner M.塞勒。；托马斯·斯特姆 联合国安全理事会\（^2）：可满足性检查满足符号计算。（项目文件）。 （英语） Zbl 1344.68198号 Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。人工智能课堂讲稿，28-43（2016）。MSC公司：68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。9791，28-43（2016；Zbl 1344.68198） 全文： 内政部 arXiv公司
詹姆斯·H·达文波特。；英格兰，马修 真实几何推理的最新进展。 （英语） Zbl 1434.68701号 Botana，Francisco（编辑）等人，《几何中的自动演绎》。2014年7月9日至11日在葡萄牙科英布拉举行的ADG 2014第十届国际研讨会。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9201, 37-52 (2015).MSC公司：68瓦30 03B35型 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}和\textit{M.英格兰}，莱克特。注释计算。科学。9201,37-52（2015；Zbl 1434.68701） 全文： 内政部 arXiv公司
D.J.威尔逊。；R.J.布拉德福德。；J.H.达文波特。；英格兰，M。 圆柱形代数子分解。 （英语） 兹比尔1309.68232 数学。计算。科学。 第8号，第263-288页（2014年）.MSC公司：68瓦30 第14页 第14季度20 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Wilson}等人，数学。计算。科学。8，第2号，263--288（2014；Zbl 1309.68232） 全文： 内政部 arXiv公司
英格兰，马修；布拉德福德，拉塞尔；陈昌波；詹姆斯·H·达文波特。；玛扎，马克·莫雷诺；大卫·威尔逊 通过增量三角分解实现真稳定不变圆柱代数分解的问题公式。 （英语） 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；Zbl 1304.68223） 全文： 内政部 arXiv公司