×

找到11个文档（结果1-11）

最新的 引文 关联
陈昌波；朱、张鹏；池浩宇

基于人工神经网络的圆柱代数分解变量排序选择。 （英语） 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）
全文： DOI程序
多里安·弗洛雷斯库；英格兰，马修

改进了分类器的交叉验证，分类器可以进行算法选择，从而在不影响输出正确性的情况下最小化运行时。 （英语） 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 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）
全文： DOI程序 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）
全文： DOI程序 arXiv公司
艾丽卡·阿尔布拉汉姆；约翰·阿伯特；贝恩德·贝克尔；安娜·比加蒂（Anna M.Bigatti）。；布莱恩，马丁；布赫伯格，布鲁诺；亚历山德罗·西马蒂；詹姆斯·H·达文波特。；英格兰，马修；帕斯卡·方丹；史蒂芬·福雷斯特；阿尔贝托·格里乔；丹尼尔·克罗宁；Werner M.塞勒。；托马斯·斯特姆

联合国安全理事会\（^2）：可满足性检查满足符号计算。（项目文件）。 （英语） 兹比尔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）
全文： DOI程序 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）
全文： DOI程序 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）
全文： DOI程序 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

全部的 前3名

主字段

全部的 前3名

软件