×

找到3个文档(结果1-3)

一种基于机器学习的软件管道,用于选择多项式输入算法的变量顺序。 (英语) Zbl 1503.68311号

Bigatti、Anna Maria(编辑)等人,《数学软件——ICMS 2020》。第七届国际会议,德国布伦瑞克,2020年7月13日至16日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12097, 302-311 (2020).
PDF格式BibTeX公司 XML格式引用

改进了分类器的交叉验证,可以在不影响输出正确性的情况下选择算法,最大限度地减少运行时间。 (英语) Zbl 07441081号

Daniel Slamanig(编辑)等人,《计算机和信息科学的数学方面》。2019年11月13日至15日在土耳其格布泽举行的2019年MACIS第八届国际会议。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。11989, 341-356 (2020).
MSC公司:68倍 65-XX岁
PDF格式BibTeX公司 XML格式引用

比较机器学习模型以选择圆柱代数分解的变量顺序。 (英语) Zbl 1428.68399号

Kaliszyk,Cezary(编辑)等人,《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议,CICM 2019。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11617, 93-108 (2019).
MSC公司:68瓦30 68T05型
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

出版年份

主字段