Solving difference equations whose coefficients are not transcendental

DOI10.1016/j.tcs.2008.05.001zbMath1158.39003OpenAlexW2100545213MaRDI QIDQ935167

Manuel Kauers

Publication date: 31 July 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.05.001

zbMATH Keywords

algorithmssystemsdifference equationssummability of sequencesalgebraic dependencies

Mathematics Subject Classification ID

Related Items (2)

On a class of functional difference equations: explicit solutions, asymptotic behavior and applications ⋮ SumCracker: A package for manipulating symbolic sums and related objects

Uses Software

• SumCracker
• Dependencies
• RatDiff

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algorithm for solving second order linear homogeneous differential equations
• A holonomic systems approach to special functions identities
• Liouvillian solutions of linear differential equations with Liouvillian coefficients
• On solutions of linear ordinary differential equations in their coefficient field
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• Solving difference equations in finite terms
• Liouvillian and algebraic solutions of second and third order linear differential equations
• Liouvillian solutions of third order differential equations
• SumCracker: A package for manipulating symbolic sums and related objects
• Computing the algebraic relations of \(C\)-finite sequences and multisequences
• An algorithm for deciding zero equivalence of nested polynomially recurrent sequences
• UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES
• Summation in Finite Terms
• Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations
• Decision problems for differential equations
• Fast algorithms for polynomial solutions of linear differential equations
• A procedure for proving special function inequalities involving a discrete parameter
• Solving parameterized linear difference equations in terms of indefinite nested sums and products
• Some undecidable problems involving elementary functions of a real variable
• On Canonical Forms and Simplification
• Some Recursively Unsolvable Problems in Analysis

This page was built for publication: Solving difference equations whose coefficients are not transcendental