×

找到14份文件(结果1-14)

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

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

联合国安全理事会\(^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格式引用

在基于模型的制造设计中应用代数几何。 (英语) Zbl 1326.93050号

Wakayama,Masato(编辑)等人,《应用程序对数学的影响》。《工业数学论坛论文集》,“2013年工业数学”,日本福冈,2013年11月4日至8日。东京:Springer(ISBN 978-4-431-54906-2/hbk;978-4-331-54907-9/电子书)。工业数学1,177-186(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

生成和分析偏微分方程有限差分格式的符号方法。 (英语) Zbl 1250.65109号

Langer,Ulrich(编辑)等人,《数值和符号科学计算》。进展和前景。纽约州纽约市:施普林格出版社(ISBN 978-3-7091-0793-5/pbk;978-3-70 91-0794-2/电子书)。《符号计算的文本与专著》,123-156(2012)。
PDF格式BibTeX公司 XML格式引用

通过求解半代数系统发现非线性排序函数。 (英语) Zbl 1147.68442号

Jones,Cliff B.(编辑)等人,《计算的理论方面——ICTAC 2007》。第四届国际学术讨论会,中国澳门,2007年9月26日至28日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75290-5/pbk)。计算机科学课堂讲稿4711,34-49(2007)。
MSC公司:68号30 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份