A Mathematica version of Zeilberger's algorithm for proving binomial coefficient identities

REDUCE package for the indefinite and definite summation

ACM SIGSAM Bulletin

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

Cited References

Computer algebra handbook

A procedure for proving special function inequalities involving a discrete parameter

Proceedings of the 2005 international symposium on Symbolic and algebraic computation

Application of unspecified sequences in symbolic summation

Proceedings of the 2006 international symposium on Symbolic and algebraic computation

Rationality of the Möbius function of a composition poset

Theoretical Computer Science

Sparse shape functions for tetrahedral p-FEM using integrated Jacobi polynomials

Computing

Rational solutions of ordinary difference equations

Journal of Symbolic Computation

Aligator: A Mathematica Package for Invariant Generation (System Description)

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning

Sharp upper bounds for the orders of the recurrences output by the Zeilberger and q-Zeilberger algorithms

Journal of Symbolic Computation

Reasoning algebraically about P-solvable loops

TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems

Invariant generation for P-solvable loops with assignments

CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications

Asymptotics of the L2 norm of derivatives of OPUC

Journal of Approximation Theory

A complete invariant generation approach for p-solvable loops

PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics

Trading order for degree in creative telescoping

Journal of Symbolic Computation

A symbolic summation approach to Feynman integral calculus

Journal of Symbolic Computation

Symbolic loop bound computation for WCET analysis

PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics