REDUCE package for the indefinite and definite summation
ACM SIGSAM Bulletin
On the q-Analogue of Zeilberger's Algorithm to Rational Functions
Programming and Computing Software
A criterion for the applicability of Zeilberger's algorithm to rational functions
Discrete Mathematics
A direct algorithm to construct the minimal Z-pairs for rational functions
Advances in Applied Mathematics - Special issue on: Formal power series and algebraic combinatorics in memory of Rodica Simion, 1955-2000
qMultiSum: a package for proving q-hypergeometric multiple summation identities
Journal of Symbolic Computation
Computer algebra handbook
Parameter augmentation and the q-Gosper algorithm
Journal of Symbolic Computation
Proving hypergeometric identities by numerical verifications
Journal of Symbolic Computation
The q-WZ method for infinite series
Journal of Symbolic Computation
Rogers-Ramanujan computer searches
Journal of Symbolic Computation
Applicability of the q-analogue of Zeilberger's algorithm
Journal of Symbolic Computation
Journal of Symbolic Computation
On the Gosper-Petkovšek representation of rational functions
Journal of Symbolic Computation
Algorithmic determination of q-power series for q-holonomic functions
Journal of Symbolic Computation
A representation theorem for (q-)holonomic sequences
Journal of Computer and System Sciences
Hi-index | 0.00 |