×

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

联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 (英语) Zbl 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 1338.13029号

Choban,Mitrofan(编辑)等人,2014年8月19日至23日,摩尔多瓦共和国奇什因奥乌ASM数学与计算机科学研究所成立50周年,摩尔多瓦共和国数学学会第三届会议。摘要。奇什因欧:摩尔多瓦科学院数学和计算机科学研究所(ISBN 978-9975-68-244-2/pbk)。《IMCS-50会议记录》,86-89(2014)。
PDF格式BibTeX公司 XML格式引用

交换代数的奇异导论。奥拉夫·巴赫曼(Olaf Bachmann)、克里斯托夫·洛森(Christoph Lossen)和汉斯·舍尼曼(Hans Schönemann)提供了捐款。第二次扩展版。 (英语) Zbl 1133.13001号

柏林:施普林格出版社(ISBN 978-3-540-73541-0/hbk)。xx,689页。(2007年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2006年符号和代数计算国际研讨会论文集,ISSAC 06,Genova,意大利,2006年7月9日至12日。 (英语) Zbl 1117.68092号

纽约州纽约市:ACM出版社(ISBN 1-59593-276-3)。xii,第361页。(2006年)。
PDF格式BibTeX公司 XML格式引用

基于高效Smith范式算法计算单纯形同调。 (英语) Zbl 1026.55010号

Joswig,Michael(编辑)等人,《代数、几何和软件系统》。柏林:斯普林格。177-206 (2003).
MSC公司:55N99型 55-04
PDF格式BibTeX公司 XML格式引用

使用syzygy算法计算GCLF。 (英语) Zbl 1014.65032号

Cohen,Arjeh M.(编辑)等人,《数学软件》。第一届国际会议记录,中国北京,2002年8月17日至19日。新加坡:世界科学。93-103 (2002).
PDF格式BibTeX公司 XML格式引用

交换代数的奇异导论。奥拉夫·巴赫曼(Olaf Bachmann)、克里斯托夫·洛森(Christoph Lossen)和汉斯·舍尼曼(Hans Schönemann)提供了捐款。 (英语) Zbl 1023.13001号

柏林:斯普林格。xvii,588 p.39.95欧元/净;法语。68.50; £28.00; $ 44.95 (2002).
PDF格式BibTeX公司 XML格式引用

等变动力系统的计算机代数方法。 (英语) 兹比尔0944.65131

数学课堂笔记. 1728. 柏林:斯普林格。xv,153页(2000年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

全析因设计和分心分数。 (英语) Zbl 0897.62085号

Buchberger,Bruno(编辑)等人,《Gröbner基础和应用》。基于1998年1月为年轻研究人员开设的课程,以及1998年2月2日至4日在奥地利林茨举行的“Gröbner基地33年”会议。剑桥:剑桥大学出版社。伦敦。数学。Soc.Lect(社会学)。注释序列号。251, 473-482 (1998).
MSC公司:62K15型 13页第10页
PDF格式BibTeX公司 XML格式引用

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

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

符号计算系统的设计与实现。1990年4月10日至12日,意大利卡普里,DISCO’90国际研讨会。诉讼程序。 (英语) Zbl 0757.68013号

计算机科学课堂讲稿. 429. 柏林等:Springer-Verlag。十二、 第284页(1990年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份