The methods in that book may fail, though. Check out the one on hypergeometric function proofs with computers.
I tried to read *that* book too early - probably accidentally downloaded it when I had first learned in 7th grade what a wonderful place the internet was for "semi-legal" downloads - and settled for gfology instead.