A=B, by Petkovsek, Wilf, Zeilberger, is a book about identities, especially identities involving binomial sums and hypergeometric identities, and ways to prove them using computer programs. The entire text may be...

Created by Frank B. Brokken of the Computing Center at the University of Groningen, this document is intended for “knowledgeable users of C (or any other language using a C-like grammar, like Perl or Java) who would like...