Theoretical advance in number theory has long benefitted from machine
computation. In this talk I will share some of the excitement of
working with Ribet, Mazur, Coleman, and Lenstra on a range of
computational questions that involve number theoretic objects such as
modular forms.