HYPERDIRE
HYPERDIRE is a set of Wolfram Mathematica based programs for differential reduction of Horn type hypergeometrical functions.
You could find here tutorial materials and here installiation tips
Now HYPERDIRE includes the following list of packages:
pfq is relevant to manipulation with hypergeometrical functions (p+1)F(p)
AppellF1F4 is relevant to manipulation with Appell`s hypergeometric functions of two variables F1, F2,F3,F4
HornFunctions is relevant to manipulation with all 34 Horn functions of two variables
FdFunction is relevant to manipulation with Fd Appell hypergeometrical function of r variables
FsFunction is relevant to manipulation with Fs Appell hypergeometrical function of three variables
FcFunction is relevant to manipulation with Fc Appell hypergeometrical function of three variables