×

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

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

利用Groebner基求解线性边值问题的一种新的符号方法。 (英语) Zbl 1192.68932号

铃木、Masakazu(编辑)等,《2009年ASCM和MACIS联合会议》。第九届亚洲计算机数学研讨会国际会议和第三届计算机和信息科学数学方面国际会议,日本福冈,2009年12月14-17日。精选论文。福冈:九州大学数学系。COE讲座笔记22,1(2009)。
PDF格式BibTeX公司 XML格式引用

Gröbner基础和应用。基于1998年1月为年轻研究人员开设的课程,以及1998年2月2日至4日在奥地利林茨举行的“Gröbner基地33年”会议。 (英语) Zbl 0883.00014号

伦敦数学学会讲座笔记系列. 251. 剑桥:剑桥大学出版社。viii,552页(1998年)。
PDF格式BibTeX公司 XML格式引用

Groebner基地简介。 (英语) Zbl 2017年8月9日

Schwichtenberg,Helmut(编辑),《计算逻辑》。北约ASI会议记录。德国马尔托贝尔多夫。1995年7月25日至8月6日。柏林:斯普林格。北约ASI系列。,序列号。F、 计算。系统。科学。157, 35-66 (1997).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份