To use the software on your own computer, you will have to follow the links to the sites where the software came from, and obtain and install it yourself.
Go here for instructions on setting up.
The current software and worksheets
accompanying Koepf's book Hypergeometric Summation
can be downloaded from Koepf's web site;
scroll down to "Hypergeometric Summation" under "Textbooks and Monographs."
Also look here.
To use them on euclid, type
cd ~m262f99/KOEPF/worksheetsV.4 xmaple &and then open a worksheet from "Open" in the "File" menu. You can also set up netscape so that it will automatically open the file in xmaple when you select it below.
Koepf's worksheets for the text, by chapter. Maple V.4: chap1.mws, ..., chap13.mws.
Koepf's worksheets for exercises, by chapter. Maple V.4: exer2.mws, ..., exer13.mws.
Additional software. Maple V.4: hsum.mpl qsum.mpl
These are the web sites for Zeilberger's and Petkovsek's programs. To use these programs on euclid, type
orcd ~m262f99/A=B/Maple xmaple &
as appropriate, and then follow the directions in the book A=B.cd ~m262f99/A=B/Mathematica mathematica &
Zeilberger's programs for A=B. Maple programs EKHAD qEKHAD.
Petkovsek's programs for A=B. Mathematica programs gosper.m Hyper q-Hyper WZ.
cd ~m262f99/KRATT mathematica &
xmaple & with(GUESS); ?GUESS
xmaple & with(gfun); ?gfunChyzak: Maple. Multivariable generating function package Mgfun. See his web site and papers.