Liouvillian solutions of irreducible second order linear difference equations
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Solving recurrence relations using local invariants
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Hi-index | 0.00 |
The software is an implementation of the algorithms in [1], [2], and [3]. The main algorithm from [3] is implemented with additional base equations beyond what appear in [3] and is incorporated into [4]. Common to each algorithm is a transformation from a base equation to the input using transformations that preserve order and homogeneity (referred to as gt-transformations).