=ADD=
=reftype=
14
=number=
02-05
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/2002/02-05.ps.gz
=year=
2002
=month=
07
=author=
Schneider; Carsten
=title=
A Collection of Degree Bounds To Solve Parameterized Linear Difference Equations in $\Pi\Sigma$-Fields
=abstract=
By solving parameterized linear difference equations in
$\Pi\Sigma$-fields, a very general subclass of difference fields, one
is capable of proving and discovering a huge class of multisum
identities. This article provides essential algorithms that
empower to search for all solutions of those difference equations.
More precisely these algorithms allow to exploit a denominator
elimination strategy which amounts to look for solutions in a
polynomial ring instead to search for solutions in its field of
rational functions.
=sponsor=
Supported by SFB grant F1305 of the Austrian FWF.
=keywords=
parameterized linear difference equations, $\Pi\Sigma$-fields