Let (K, M) be a linear matrix problem induced from a finite dimensional algebra Λ. Then an n×n matrix M in R(K, M)......

...

本文主要研究了结合代数及双自由模上的Grobner-Shirshov基理论。得到辫子群Bn，Bn型辫子群B（Bn），辫子幺半群B+n，半单李代数sl2上的既约......

本文利用整数环上矩阵的不变因子理论,给出并证明了整系数线性方程组有整数解的一个充要条件.......

利用Z上矩阵的不变因子理论，证明了整系数线性方程组有整数解的充要条件，从而彻底解决了Z上线性方程组的整数解问题．......

本文将模糊树自动机和模糊上下文无关树文法的概念推广到格半群上。证明了在接受语言和生成语言的意义下，树自动机和上下文无关树文......