Solving Difference Equations whose Coefficients are not Transcendental

Manuel Kauers

doi:10.1016/j.tcs.2008.05.001

Solving Difference Equations whose Coefficients are not Transcendental

Manuel Kauers

Research Institute for Symbolic Computation

Research output: Contribution to journal › Article › peer-review

Abstract

We consider a large class of sequences which are defined by systems of (possibly nonlinear) difference equations. A procedure for recursively enumerating the algebraic dependencies of such sequences is presented. Also a procedure for solving linear difference equations with such sequences as coefficients is proposed. The methods are illustrated on some problems arising in the literature on special functions and combinatorial sequences.

Original language	English
Pages (from-to)	217-227
Number of pages	11
Journal	Theoretical Computer Science
Volume	401
Issue number	1-3
DOIs	https://doi.org/10.1016/j.tcs.2008.05.001
Publication status	Published - 23 Jul 2008

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

Access to Document

10.1016/j.tcs.2008.05.001

Cite this

@article{d1922ffb08204a6996ace57de459598c,

title = "Solving Difference Equations whose Coefficients are not Transcendental",

abstract = "We consider a large class of sequences which are defined by systems of (possibly nonlinear) difference equations. A procedure for recursively enumerating the algebraic dependencies of such sequences is presented. Also a procedure for solving linear difference equations with such sequences as coefficients is proposed. The methods are illustrated on some problems arising in the literature on special functions and combinatorial sequences.",

author = "Manuel Kauers",

year = "2008",

month = jul,

day = "23",

doi = "10.1016/j.tcs.2008.05.001",

language = "English",

volume = "401",

pages = "217--227",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "1-3",

}

TY - JOUR

T1 - Solving Difference Equations whose Coefficients are not Transcendental

AU - Kauers, Manuel

PY - 2008/7/23

Y1 - 2008/7/23

N2 - We consider a large class of sequences which are defined by systems of (possibly nonlinear) difference equations. A procedure for recursively enumerating the algebraic dependencies of such sequences is presented. Also a procedure for solving linear difference equations with such sequences as coefficients is proposed. The methods are illustrated on some problems arising in the literature on special functions and combinatorial sequences.

AB - We consider a large class of sequences which are defined by systems of (possibly nonlinear) difference equations. A procedure for recursively enumerating the algebraic dependencies of such sequences is presented. Also a procedure for solving linear difference equations with such sequences as coefficients is proposed. The methods are illustrated on some problems arising in the literature on special functions and combinatorial sequences.

UR - https://www.scopus.com/pages/publications/45449087501

U2 - 10.1016/j.tcs.2008.05.001

DO - 10.1016/j.tcs.2008.05.001

M3 - Article

SN - 0304-3975

VL - 401

SP - 217

EP - 227

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1-3

ER -

Solving Difference Equations whose Coefficients are not Transcendental

Abstract

Fields of science

Access to Document

Other files and links

Cite this