Solving difference equations whose coefficients are not transcendental (Q935167): Difference between revisions

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.