矩阵多项式可逆性的判定

给出了矩阵多项式可逆判定的两个构造性的定理，其方法优于文[1]。