The wonderful book "A=B", by Marko Petkovsek, Herbert Wilf and Doron Zeilberger, is available freely online, thanks to their publisher AK Peters.
If you've ever wondered how to prove identities for q-multinomials and friends, well, the summary of this book is that computers now know how to do it, and you shouldn't bother anymore.
