Sometimes in studying Ramanujan’s work, [George Andrews] said at another time, “I have wondered how much Ramanujan could have done if he had had MACSYMA or SCRATCHPAD or some other symbolic algebra package.

Plenty of mathematicians, Hardy knew, could follow a step-by-step discursus unflaggingly—yet counted for nothing beside Ramanujan. Years later, he would contrive an informal scale of natural mathematical ability on which he assigned himself a 25...