Found 2 document(s)
Page 1 of 1
-
We extend Zeilberger's fast algorithm for definite hypergeometric summation to non-hypergeometric holonomic sequences. The algorithm generalizes to the differential case and to q-calculus as well. Its theoretical justifi...
-
Many identities involving special functions can be proved using the theory of D-finite or holonomic sequences and functions. This theory applies in particular to numerous combinatorial identities. This work presents a th...