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

Liouvillian solutions of irreducible linear difference equations

Proceedings of the 2009 international symposium on Symbolic and algebraic computation

Partial denominator bounds for partial linear difference equations

Proceedings of the 2010 International Symposium on Symbolic and Algebraic 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

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

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