Solving difference equations whose coefficients are not transcendental
type: Item
instance of: scholarly article
title: Solving difference equations whose coefficients are not transcendental
zbMATH Open document ID: 1158.39003
author: M. Kauers
published in: Theoretical Computer Science
publication date: 2008-07-31T00:00:00Z
review text: A class of sequences defined by systems of linear or nonlinear difference equations is considered. Algorithms are proposed for recursively enumerating the algebraic dependencies of such sequences and for solving linear difference equations having such sequences as coefficients. Several applications of the theory are pointed out by examples.
reviewed by: Edwin Engin Yaz
Mathematics Subject Classification ID: 39A10
Mathematics Subject Classification ID: 40A05
Mathematics Subject Classification ID: 65Q05
Mathematics Subject Classification ID: 40C05
zbMATH DE Number: 5306544
zbMATH Keywords: difference equations
zbMATH Keywords: algebraic dependencies
zbMATH Keywords: summability of sequences
zbMATH Keywords: systems
zbMATH Keywords: algorithms
describes a project that uses: RatDiff
describes a project that uses: SumCracker
describes a project that uses: Dependencies
MaRDI profile type: Publication
full work available at URL: j.tcs.2008.05.001
OpenAlex ID: W2100545213
cites work: Q4237409
cites work: Q4227311
cites work: Q3331506
cites work: Some Recursively Unsolvable Problems in Analysis
cites work: Q4813045
cites work: Fast algorithms for polynomial solutions of linear differential equations
cites work: Q4227290
cites work: On solutions of linear ordinary differential equations in their coefficient field
cites work: On Canonical Forms and Simplification
cites work: Decision problems for differential equations
cites work: Q4421931
cites work: Q4320535
cites work: UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES
cites work: Solving difference equations in finite terms
cites work: Summation in Finite Terms
cites work: A procedure for proving special function inequalities involving a discrete parameter
cites work: SumCracker: A package for manipulating symbolic sums and related objects
cites work: An algorithm for deciding zero equivalence of nested polynomially recurrent sequences
cites work: Computing the algebraic relations of \(C\)-finite sequences and multisequences
cites work: Q5680222
cites work: An algorithm for solving second order linear homogeneous differential equations
cites work: Hypergeometric solutions of linear recurrences with polynomial coefficients
cites work: Some undecidable problems involving elementary functions of a real variable
cites work: Solving parameterized linear difference equations in terms of indefinite nested sums and products
cites work: Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations
cites work: Liouvillian solutions of linear differential equations with Liouvillian coefficients
cites work: Liouvillian solutions of third order differential equations
cites work: Liouvillian and algebraic solutions of second and third order linear differential equations
cites work: Q4660693
cites work: Q3024025
cites work: Q4232485
cites work: A holonomic systems approach to special functions identities
DOI: 10.1016/J.TCS.2008.05.001
description: scientific article; zbMATH DE number 5306544