Solving difference equations whose coefficients are not transcendental
A class of sequences defined by systems of linear or nonlinear difference equations is considered. Algorithms are proposed for recursively enumerating the algebraic dependencies of such sequences and for solving linear difference equations having such sequences as coefficients. Several applications of the theory are pointed out by examples.
scientific article; zbMATH DE number 5306544
scientific article