Tables of Hypergeometric Functions

Question

I'm looking for a book, set of tables, or other reference which contains a comprehensive list of hypergeometric identities; that is, something which allows a hypergeometric fucntion to be expressed in terms of elementary or other known special functions.

For example, from Wikipedia:

$\log(1+z)=z\,_2F_1(1,1;2;-z)$

$(1-z)^{-a} = \,_2F_1(a,b;b;z)$

$\arcsin z = z \,_2F_1\left(\tfrac{1}{2}, \tfrac{1}{2}; \tfrac{3}{2};z^2\right)$

Now I should mention that Wolfram Alpha and presumably mathematica can also do this; Here's an example. However, I would like a written reference, preferably in table form, and either with its own proofs of identities, or with references to sources containing proofs.

Does anyone know of any such "dictionaries" for Hypergeometric functions?

Answer 1

Have a look here; in particular, see this subsection (Special Cases). Note that you can find more information by pressing the $i$ symbols on the right.

Answer 2

I'm not sure of a table of such results apart from those in the NIST Digital Library of Mathematical Functions that Shai linked to above and those in the wolfram.functions site.

I do know that Mathematica internally makes the translations to and from hypergeometric, Meijer G functions and other special functions. But this behaviour is not exposed to the normal end user.

There is also a GSoC project for SymPy that is looking at doing a large class of integrals using hypergeometric and Meijer G function identities. From it I learned that there is a general procedure for finding such identities (see, e.g., this paper and similar work by Kelly Roach). This project obviously needs to be able to write special functions in terms of hypergeometrics and vice versa - i.e. implement the same functionality that's hidden inside Mathematica.