Issue No. 01 - January-March (2008 vol. 30)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MAHC.2008.6
Leo Corry , Tel Aviv University
This article describes the work of Harry Schultz Vandiver, Derrick Henry Lehmer, and Emma Lehmer on calculations related with proofs of Fermat's last theorem. This story sheds light on ideological and institutional aspects of activity in number theory in the US during the 20th century, and on the incursion of computer-assisted methods into pure fields of mathematical research.
Fermat's last theorem, Lehmer, number theory, SWAC, Vandiver
L. Corry, "Fermat Meets SWAC: Vandiver, the Lehmers, Computers, and Number Theory," in IEEE Annals of the History of Computing, vol. 30, no. , pp. 38-49, 2008.