computers in number theory - atkin.a.o.l.