L. Franz and . Alt, Archaeology of computers ? reminiscences, Communications of the ACM, vol.15, issue.7, pp.693-694, 1945.

H. David, R. E. Bailey, and . Crandall, On the random character of fundamental constant expansions, Experimental Mathematics, vol.10, issue.2, pp.175-190, 2001.

A. H. Brady, The determination of the value of rado's noncomputable function ? for four-state turing machines, Mathematics of Computation, vol.40, issue.162, pp.647-665, 1983.

A. W. Burks and P. , [5] , From eniac to the stored-program computer: The revolutions in computers, pp.45-46, 1966.

W. Arthur, A. R. Burks, and . Burks, The eniac: First general-purpose electronic computer, IEEE Annals of the History of Computing, vol.3, issue.4, pp.310-399, 1981.

M. Davis and T. Undecidable, Basic papers on undecidable propositions , unsolvable problems and computable functions, Dover publications Mathematical logic and the origin of modern computers, pp.149-174, 1965.

L. De, M. , and M. Bullynck, A week-end off. The first extensive number-theoretical computation on the ENIAC, Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, Lecture Notes in Computer Science, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01396832

J. Eckert, The eniac, pp.525-540, 1980.

W. Fritz, ENIAC-a problem solver, IEEE Annals of the History of Computing, vol.16, issue.1, pp.25-45, 1994.
DOI : 10.1109/85.251853

H. Herman and . Goldstine, The computer from pascal to von neumann, 1972.

A. Hodges, Alan m. turing. the enigma, Republication, 1983.

A. Akera, Franz Alt interview, ACM Oral History interviews on -, 2006.
DOI : 10.1145/1141880.1141881

H. Derrick and . Lehmer, On the converse of fermat's theorem, American Mathematical Monthly, vol.43, issue.6, pp.347-354, 1936.

H. Derrick, E. Lehmer, W. H. Lehmer, J. L. Mills, and . Selfridge, Machine proof of a theorem on cubic residues, Mathematics of computation, vol.16, issue.80, pp.407-415, 1962.

S. Lin and T. Rádo, Computer Studies of Turing Machine Problems, Journal of the ACM, vol.12, issue.2, pp.196-212, 1965.
DOI : 10.1145/321264.321270

R. Mapstone and D. H. , Computer Oral History Collection, Archives Center, National Museum of American History, p.27, 1973.

J. W. Mauchly, The ENIAC, pp.541-550, 1980.
DOI : 10.1016/B978-0-12-491650-0.50039-3

U. Merzbach and D. H. , Computer Oral History Collection, Archives Center, National Museum of American History, p.20, 1969.

U. C. Merzbach, John w. mauchly (1907-1980) interview, Archives Center, National Museum of American History, p.58, 1970.

N. Metropolis, The beginning of the monte carlo method, Los Alamos Science (Special Issue, vol.15, pp.125-130, 1909.

N. Metropolis, G. Reitwiesner, and J. Neumann, Statistical treatment of values of first 2000 decimal digits of e and of ? calculated on the eniac, Mathematical tables and other aids to Computations, pp.109-112, 1950.

H. Neukom, The Second Life of ENIAC, IEEE Annals of the History of Computing, vol.28, issue.2, pp.4-16, 2006.
DOI : 10.1109/MAHC.2006.39

G. W. Reitwiesner, An ENIAC determination of $\pi$ and $e$ to more than 2000 decimal places, Mathematics of Computation, vol.4, issue.29, pp.11-15, 1950.
DOI : 10.1090/S0025-5718-1950-0037597-6

A. M. Turing, On computable numbers with an application to the entscheidungsproblem A correction to the paper was published in the same journal, Proceedings of the London Mathematical Society, pp.230-265, 1936.

S. M. Ulam and V. Neumann, The interaction of mathematics and computing, pp.93-99, 1980.

. John-von-neumann, First draft of a report on the edvac, contract no. w-670-ord-492, moore school of electrical engineering, univiversity of pennsilvania, philadelphia, IEEE Annals of the History of Computing, pp.27-75, 1945.