§ A = B --- A book about proofs of combinatorial closed forms
The book explains algorithms on solving closed forms for combinatorial
recurrences, by means of Zeilberger's algorithm .
The book is written by Zeilberger himself, and supposedy also teaches one Maple.
I'd like to learn the algorithm, since it might be useful eventually for
Groebner basis / loop analysis shenanigans I like to play as part of
my work on compilers.