Rational solutions of linear difference equations

Desingularization of linear difference operators with polynomial coefficients

ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation

Rational solutions of matrix difference equations: the problem of equivalence and factorization

ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation

On solutions of linear functional systems

Proceedings of the 2001 international symposium on Symbolic and algebraic computation

A direct algorithm to compute rational solutions of first order linear q-difference systems

Discrete Mathematics

Shiftless decomposition and polynomial-time rational summation

ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation

Search for Polynomial Solutions of Linear Functional Systems by Means of Induced Recurrences

Programming and Computing Software

Improved universal denominators

Programming and Computing Software

Rational solutions of ordinary difference equations

Journal of Symbolic Computation

Solving difference equations whose coefficients are not transcendental

Theoretical Computer Science

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

Journal of Symbolic Computation

Partial denominator bounds for partial linear difference equations

Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation

On some decidable and undecidable problems related to q-difference equations with parameters

Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation

Factorization of polynomials and GCD computations for finding universal denominators

CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing

Linear differential, difference and q-difference homogeneous equations having no rational solutions

ACM Communications in Computer Algebra

Rational solutions of linear difference equations: Universal denominators and denominator bounds

Programming and Computing Software

A refined denominator bounding algorithm for multivariate linear difference equations

Proceedings of the 36th international symposium on Symbolic and algebraic computation

Denominators of rational solutions of linear difference systems of an arbitrary order

Programming and Computing Software

On polynomial solutions of linear partial differential and (q-)difference equations

CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing

On valuations of meromorphic solutions of arbitrary-order linear difference systems with polynomial coefficients

Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation

Linear differential and difference systems: EGδ- and EGσ- eliminations

Programming and Computing Software

Local improvements of lower bounds for valuations of solutions of linear difference systems with meromorphic coefficients

Programming and Computing Software