Text this: Algebraic techniques and the mechanization of number theory /