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...