AbstractGosper's and Zeilberger's algorithms for summation of terminating hypergeometric series as well as the q-versions of these algorithms are described in a very rigorous way. The paper is a companion to Maple V procedures implementing these algorithms. It concludes with the help information for these procedures
AbstractTwo hypergeometric terms f(k) and g(k) are said to be similar if the ratio f(k)/g(k) is a ra...
AbstractAn algorithm for proving terminating hypergeometric identities, and thus binomial coefficien...
AbstractWe extend Zeilberger's fast algorithm for definite hypergeometric summation to non-hypergeom...
Abstract We present a systematic method for proving non-terminating basic hypergeometric identi-ties...
In this paper we present a short description of q-analogues of Gosper’s, Zeilberger’s, Petkovšek’s ...
AbstractThis paper describes three algorithms for q -hypergeometric summation: • a multibasic analog...
Modern algorithmic techniques for summation, most of which were introduced in the 1990s, are develop...
In this paper we present a short description of q-analogues of Gosper's, Zeilberger's, Pet...
AbstractA terminating condition of the well-known Zeilberger's algorithm for a given hypergeometric ...
Abstract A terminating condition of the well-known Zeilberger's algorithm for a given hypergeom...
AbstractThis paper describes three algorithms for q -hypergeometric summation: • a multibasic analog...
AbstractThis paper argues that automated proofs of identities for nonterminating hypergeometric seri...
AbstractZeilberger's algorithm which finds holonomic recurrence equations for definite sums of hyper...
The celebrated Zeilberger algorithm which finds holonomic recurrence equations for definite sums of ...
An algorithm for proving terminating hypergeometric identities, and thus binomial coefficients ident...
AbstractTwo hypergeometric terms f(k) and g(k) are said to be similar if the ratio f(k)/g(k) is a ra...
AbstractAn algorithm for proving terminating hypergeometric identities, and thus binomial coefficien...
AbstractWe extend Zeilberger's fast algorithm for definite hypergeometric summation to non-hypergeom...
Abstract We present a systematic method for proving non-terminating basic hypergeometric identi-ties...
In this paper we present a short description of q-analogues of Gosper’s, Zeilberger’s, Petkovšek’s ...
AbstractThis paper describes three algorithms for q -hypergeometric summation: • a multibasic analog...
Modern algorithmic techniques for summation, most of which were introduced in the 1990s, are develop...
In this paper we present a short description of q-analogues of Gosper's, Zeilberger's, Pet...
AbstractA terminating condition of the well-known Zeilberger's algorithm for a given hypergeometric ...
Abstract A terminating condition of the well-known Zeilberger's algorithm for a given hypergeom...
AbstractThis paper describes three algorithms for q -hypergeometric summation: • a multibasic analog...
AbstractThis paper argues that automated proofs of identities for nonterminating hypergeometric seri...
AbstractZeilberger's algorithm which finds holonomic recurrence equations for definite sums of hyper...
The celebrated Zeilberger algorithm which finds holonomic recurrence equations for definite sums of ...
An algorithm for proving terminating hypergeometric identities, and thus binomial coefficients ident...
AbstractTwo hypergeometric terms f(k) and g(k) are said to be similar if the ratio f(k)/g(k) is a ra...
AbstractAn algorithm for proving terminating hypergeometric identities, and thus binomial coefficien...
AbstractWe extend Zeilberger's fast algorithm for definite hypergeometric summation to non-hypergeom...
DOI
Add to ORKG