Linear Recurrence Equations on a Tree
暂无分享，去创建一个
We construct an algorithm that tests a system of recurrence equations on a tree for the existence of a nontrivial solution and computes it.
[1] G. Bergman. The diamond lemma for ring theory , 1978 .
[2] V. A. Ufnarovskij. Combinatorial and Asymptotic Methods in Algebra , 1995 .