Comment by walrus

If you find this sort of thing interesting, you may enjoy A=B by Marko Petkovsek, Herbert Wilf, and Doron Zeilberger. (Wilf was mentioned in the article.)

It's available for download at http://www.math.upenn.edu/~wilf/AeqB.html