Archaeology of computers ? reminiscences, Communications of the ACM, vol.15, issue.7, pp.693-694, 1945. ,
On the random character of fundamental constant expansions, Experimental Mathematics, vol.10, issue.2, pp.175-190, 2001. ,
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. ,
[5] , From eniac to the stored-program computer: The revolutions in computers, pp.45-46, 1966. ,
The eniac: First general-purpose electronic computer, IEEE Annals of the History of Computing, vol.3, issue.4, pp.310-399, 1981. ,
Basic papers on undecidable propositions , unsolvable problems and computable functions, Dover publications Mathematical logic and the origin of modern computers, pp.149-174, 1965. ,
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
The eniac, pp.525-540, 1980. ,
ENIAC-a problem solver, IEEE Annals of the History of Computing, vol.16, issue.1, pp.25-45, 1994. ,
DOI : 10.1109/85.251853
The computer from pascal to von neumann, 1972. ,
Alan m. turing. the enigma, Republication, 1983. ,
Franz Alt interview, ACM Oral History interviews on -, 2006. ,
DOI : 10.1145/1141880.1141881
On the converse of fermat's theorem, American Mathematical Monthly, vol.43, issue.6, pp.347-354, 1936. ,
Machine proof of a theorem on cubic residues, Mathematics of computation, vol.16, issue.80, pp.407-415, 1962. ,
Computer Studies of Turing Machine Problems, Journal of the ACM, vol.12, issue.2, pp.196-212, 1965. ,
DOI : 10.1145/321264.321270
Computer Oral History Collection, Archives Center, National Museum of American History, p.27, 1973. ,
The ENIAC, pp.541-550, 1980. ,
DOI : 10.1016/B978-0-12-491650-0.50039-3
Computer Oral History Collection, Archives Center, National Museum of American History, p.20, 1969. ,
John w. mauchly (1907-1980) interview, Archives Center, National Museum of American History, p.58, 1970. ,
The beginning of the monte carlo method, Los Alamos Science (Special Issue, vol.15, pp.125-130, 1909. ,
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. ,
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
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
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. ,
The interaction of mathematics and computing, pp.93-99, 1980. ,
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. ,