Title: Algebraic techniques and the mechanization of number theory
Subjects: Number theory, Algebra