Fermat Meets SWAC: Vandiver, the Lehmers, Computers, and Number Theory | IEEE Journals & Magazine | IEEE Xplore