×

找到413个文档(结果1-100)

一些路径理想的多级Betti数。 (英语) Zbl 1456.05075号

Stamate,Dumitru I.(编辑)等,《代数和几何中的组合结构》。2018年8月26日至9月1日,罗马尼亚Constanţa,NSA 26。查姆:斯普林格。Springer程序。数学。《美国联邦法律大全》第331卷第51-65页(2020年)。
PDF格式BibTeX公司 XML格式引用

Gröbner-nice对理想。 (英语) Zbl 1453.13077号

Stamate,Dumitru I.(编辑)等,《代数和几何中的组合结构》。2018年8月26日至9月1日,罗马尼亚Constanţa,NSA 26。查姆:斯普林格。Springer程序。数学。《统计》第331卷,第15-29页(2020年)。
PDF格式BibTeX公司 XML格式引用

形式化PVS中的环理论。 (英语) Zbl 1451.68332号

Avigad,Jeremy(编辑)等,交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP,作为联邦逻辑会议的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10895, 40-47 (2018).
MSC公司:68版本20 第13页99
PDF格式BibTeX公司 XML格式引用
全文: 内政部

细胞二项式理想的分解。 (英语) 兹比尔1351.13008

J.隆德。数学。社会学,II。序列号。 94,第2期,409-426(2016)更正同上,第100号,第2期,第717-719页(2019年)。
PDF格式BibTeX公司 XML格式引用

交换代数:构造方法。有限投射模。塔妮娅·罗布洛(Tania K.Roblot)从法语翻译而来。 (英语) Zbl 1327.13001号

代数与应用20.多德雷赫特:施普林格(ISBN 978-94-017-9943-0/hbk;978-94-07-9944-7/电子书)。xlix,996页。(2015).
PDF格式BibTeX公司 XML格式引用

多核系统上分布式稀疏多元多项式的高可扩展乘法。 (英语) Zbl 1411.68206号

Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2013年9月9日至13日在德国柏林举行的2013年中国社会科学院第15届国际研讨会。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。8136, 100-115 (2013).
PDF格式BibTeX公司 XML格式引用

计算一维正则链的拟分量的极限点。 (英语) Zbl 1412.13032号

Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2013年9月9日至13日在德国柏林举行的2013年中国社会科学院第15届国际研讨会。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。8136, 30-45 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

矩阵乘法的秩至少为(3n^2-2{2} n个^{\压裂{3}{2}}-3n\)。 (英语) Zbl 1284.68301号

线性代数应用。 438,第11号,4500-4509(2013)更正同上,445,369-371(2014)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件