818 research outputs found
REDUCE package for the indefinite and definite summation
This article describes the REDUCE package ZEILBERG implemented by Gregor
St\"olting and the author.
The REDUCE package ZEILBERG is a careful implementation of the Gosper and
Zeilberger algorithms for indefinite, and definite summation of hypergeometric
terms, respectively. An expression is called a {\sl hypergeometric term}
(or {\sl closed form}), if is a rational function with respect
to . Typical hypergeometric terms are ratios of products of powers,
factorials, function terms, binomial coefficients, and shifted
factorials (Pochhammer symbols) that are integer-linear in their arguments
A simple proof of Bailey's very-well-poised 6-psi-6 summation
We give elementary derivations of some classical summation formulae for
bilateral (basic) hypergeometric series. In particular, we apply Gauss' 2-F-1
summation and elementary series manipulations to give a simple proof of
Dougall's 2-H-2 summation. Similarly, we apply Rogers' nonterminating 6-phi-5
summation and elementary series manipulations to give a simple proof of
Bailey's very-well-poised 6-psi-6 summation. Our method of proof extends M.
Jackson's first elementary proof of Ramanujan's 1-psi-1 summation.Comment: LaTeX2e, 10 pages, submitted to Proc. AMS, revised version, proofs of
1-psi-1 and 2-H-2 summations include
Explicit formula for the generating series of diagonal 3D rook paths
Let denote the number of ways in which a chess rook can move from a
corner cell to the opposite corner cell of an
three-dimensional chessboard, assuming that the piece moves closer to the goal
cell at each step. We describe the computer-driven \emph{discovery and proof}
of the fact that the generating series admits
the following explicit expression in terms of a Gaussian hypergeometric
function: G(x) = 1 + 6 \cdot \int_0^x \frac{\,\pFq21{1/3}{2/3}{2} {\frac{27
w(2-3w)}{(1-4w)^3}}}{(1-4w)(1-64w)} \, dw.Comment: To appear in "S\'eminaire Lotharingien de Combinatoire
A formula for a quartic integral: a survey of old proofs and some new ones
We discuss several existing proofs of the value of a quartic integral and
present a new proof that evolved from rational Landen transformations.Comment: 10 page
- β¦