×

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

基于复杂度分析选择圆柱代数分解变量排序的新启发式算法。 (英语) Zbl 1514.68323号

Boulier,François(编辑)等人,《科学计算中的计算机代数》。第24届国际研讨会,2022年8月22日至26日,土耳其格布泽,CASC 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13366, 300-317 (2022).
PDF格式BibTeX公司 XML格式引用

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

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

将机器学习应用于求解实多项式约束的启发式算法。 (英语) Zbl 1503.68307号

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

基于人工神经网络的圆柱代数分解变量排序选择。 (英语) Zbl 1503.68310号

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

CAD中的窗帘:为什么它们是一个问题,我们如何解决它们? (英语) Zbl 1503.68314号

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

通过增量三角分解实现真稳定不变圆柱代数分解的问题公式。 (英语) Zbl 1304.68223号

Watt,Stephen M.(编辑)等人,《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-08433-6/pbk)。计算机科学课程讲稿8543。人工智能课堂讲稿,45-60(2014)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

主字段