Solving difference equations in finite terms

Linear recurrences with polynomial coefficients

Journal of Complexity - Special issue on coding and cryptography

Symbolic summation with single-nested sum extensions

ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation

Computation with hyperexponential functions

ACM SIGSAM Bulletin

Symbolic computation with sequences

Programming and Computing Software

Efficient accelero-summation of holonomic functions

Journal of Symbolic Computation

Testing linear dependence of hyperexponential elements

ACM Communications in Computer Algebra

A refined difference field theory for symbolic summation

Journal of Symbolic Computation

Rational solutions of ordinary difference equations

Journal of Symbolic Computation

Solving difference equations whose coefficients are not transcendental

Theoretical Computer Science

Search for Liouvillian solutions of linear recurrence equations in the MAPLE computer algebra system

Programming and Computing Software

Liouvillian solutions of irreducible linear difference equations

Proceedings of the 2009 international symposium on Symbolic and algebraic computation

On m-Interlacing Solutions of Linear Difference Equations

CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing

Liouvillian solutions of linear difference-differential equations

Journal of Symbolic Computation

An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations

Journal of Symbolic Computation

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

Closed form solutions of linear difference equations in terms of symmetric products

Journal of Symbolic Computation