一个计算多项式矩阵的Hermite标准形的快速确定性算法
摘要：找到一个快速确定$ \mathbb {K} [x] ^ {n 乘以 n} $ 上的一个希尔米特标准形的确定性算法，算法的复杂度为$ O ^ {\ sim}（n ^ \ omega d）$，其中$ d $是$ \mathbf {F} $的度。 这里$ \mathbf {F} $是一个方形，非奇异的多项式矩阵。 在这个方法中，使用了一种快速确定其希尔米特正规形的对角线条目的算法，算法的成本为$ O ^ {\ sim}（n ^ \ omega s）$，其中$ s $是$ \mathbf {F} $的列度的平均值。
作者：George Labahn and Wei Zhou
论文ID：1602.02049
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2016-02-08