在有限维度中计算合作基的分治算法
摘要：用于计算一个多项式余系模$(f_1, \ldots, f_m)$的标准Gröbner基的迭代算法在Marinari, M"oller, and Mora (1993)中给出。本文从另一个角度出发，设计了一个分而治之的算法，可以看作是Beckermann和Labahn的 矩阵Pad''e和有理插值问题递归方法的多变量推广。特别是，在两个变量的Pad''e逼近问题中，该方法证明了它的性质优于 已知的复杂性界限。
作者：Simone Naldi and Vincent Neiger
论文ID：2002.06404
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2020-06-05