A fast algorithm for proving terminating hypergeometric identities

The method of differentiating under the integral sign

Journal of Symbolic Computation

The method of creative telescoping

Journal of Symbolic Computation

A maple program for proving hypergeometric identities

ACM SIGSAM Bulletin

REDUCE package for the indefinite and definite summation

ACM SIGSAM Bulletin

High degree solutions of low degree equations (extended abstract)

ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation

MultInt, a MAPLE package for multiple integration by the WZ method

Journal of Symbolic Computation

(-1)-enumeration of plane partitions with complementation symmetry

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

Cited References

Computer algebra handbook

Computer proofs for polynomial identities in arbitrary many variables

ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation

Symbolic summation with single-nested sum extensions

ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation

Finding telescopers with minimal depth for indefinite nested sum and product expressions

Proceedings of the 2005 international symposium on Symbolic and algebraic computation

Rationality of the Möbius function of a composition poset

Theoretical Computer Science

Disturbing the Dyson conjecture, in a generally GOOD way

Journal of Combinatorial Theory Series A

Summation algorithms for Stirling number identities

Journal of Symbolic Computation

The q-WZ method for infinite series

Journal of Symbolic Computation

Rogers-Ramanujan computer searches

Journal of Symbolic Computation

A non-holonomic systems approach to special function identities

Proceedings of the 2009 international symposium on Symbolic and algebraic computation

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

Journal of Symbolic Computation

Asymptotics of the L2 norm of derivatives of OPUC

Journal of Approximation Theory

Summing symbols in mutual recurrences

COCOON'11 Proceedings of the 17th annual international conference on Computing and combinatorics

Trading order for degree in creative telescoping

Journal of Symbolic Computation

A symbolic summation approach to Feynman integral calculus

Journal of Symbolic Computation

Holonomic functions in mathematica

ACM Communications in Computer Algebra