×

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

Ore代数上线性系统的有效代数分析方法。 (英语) 兹比尔1453.93042

Quadrat,Alban(编辑)等人,动力学系统中的代数和符号计算方法。根据2013年2月4日至6日在法国格勒诺布尔举行的IFAC第五届系统结构与控制研讨会和2014年7月7日至11日在荷兰格罗宁根举行的第21届网络与系统数学理论国际研讨会(MTNS 2014)的受邀会议撰写的文章。查姆:斯普林格。高级延迟动态。9, 3-52 (2020).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 哈尔

联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 (英语) 兹比尔1344.68198

Kohlhase,Michael(编辑)等人,《智能计算机数学》。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格式引用

BIBasis,一个用于REDUCE和Macaulay2计算机代数系统的包,用于计算布尔对合基和Gröbner基。 (英语。俄文原件) Zbl 1251.68309号

程序。计算。柔和。 38,第2期,92-101(2012); 译自Programmirovanie 38,No.2(2012)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

多项式系统解的介绍。(引言a résolution des systèmes polynomiaux) (法语) Zbl 1127.13001号

数学与应用(柏林)59.柏林:施普林格出版社(ISBN 978-3-540-71646-4/pbk)。305页。(2007).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

今天的计算代数几何。 (英语) Zbl 1011.14019号

Ciliberto,Ciro(编辑)等人,《代数几何在编码理论、物理和计算中的应用》。2001年2月25日至3月1日,以色列埃拉特,北约高级研究研讨会会议记录。多德雷赫特:Kluwer学术出版社。北约科学。序列号。二、 数学。物理学。化学。36, 65-119 (2001).
PDF格式BibTeX公司 XML格式引用

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

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

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段