Dr. Franz Alt Oral history by Atsushi Akera, Proceeding ACM Oral History interviews, 2006. ,
Implicit changes of representational ideals in astrophysics -The example of the Paris- Durham shock model ,
The logic of identity and copy for computational artefacts, Journal of Logic and Computation, vol.54, 2018. ,
DOI : 10.1093/bjps/54.2.261
Neumann and the origins of modern computing, 1990. ,
Program FAKE: Monte Carlo simulations as tools of theory in early high energy physics ,
Mathematical studies relating to military physical research, National Defense Research Committee, Summary Technical report of the Applied Mathematics Panel, NDRC, vol.1, p.221604, 1946. ,
Probability and Statistical studies in warfare analysis, National Defense Research Committee, Summary Technical report of the Applied Mathematics Panel, NDRC, vol.3, 1946. ,
Le tournant computationnel et l'innovation théorique, Précis de philosophie de la physique, 2013. ,
50 years of army computing. From ENIAC to MSRC, 2000. ,
DOI : 10.21236/ADA431730
URL : http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA431730&Location=U2&doc=GetTRDoc.pdf
How the widespread use of Building Modeling came about through a mesh of changes within and without technology ,
Setting-up early computer programs: D. H. Lehmer???s ENIAC computation, Archive for Mathematical Logic, vol.21, issue.8, pp.123-146, 2010. ,
DOI : 10.1090/psapm/020/0364061
URL : https://hal.archives-ouvertes.fr/hal-01396497
Computing Primes (1929-1949): Transformations in the Early Days of Digital Computing, IEEE Annals of the History of Computing, vol.37, issue.3, pp.44-54, 2015. ,
DOI : 10.1109/MAHC.2015.46
URL : https://hal.archives-ouvertes.fr/hal-01510373
The history (of the history) of computing and its relation to the history (of the history) of mathematics, Mathematics and Machines, special issue of Revue de Synthèse ,
The history of mathematical tables. From Sumer to spreadsheets, 2003. ,
DOI : 10.1093/acprof:oso/9780198508410.001.0001
The computation factory: de Prony's project for making tables in the 1970s, pp.105-121, 2003. ,
???ber die partiellen Differenzengleichungen der mathematischen Physik, Mathematische Annalen, vol.98, issue.6, pp.32-74, 1928. ,
DOI : 10.1002/zamm.19260060408
An Analysis of Logical Substitution, American Journal of Mathematics, vol.51, issue.3, pp.363-384 ,
DOI : 10.2307/2370728
Mathematical Teaching and National Defense, The School Review, vol.50, issue.5, pp.337-346, 1942. ,
DOI : 10.1086/440788
The Heaviside Operational Calculus, The American Mathematical Monthly, vol.48, issue.2, pp.365-379, 1943. ,
DOI : 10.1090/S0002-9904-1942-07726-3
The method of steepest descent for non-linear minimization problems, Quarterly of Applied Mathematics, vol.2, issue.3, pp.258-261, 1944. ,
DOI : 10.1090/qam/10667
URL : https://www.ams.org/qam/1944-02-03/S0033-569X-1944-10667-3/S0033-569X-1944-10667-3.pdf
A study of inverse interpolation of the Eniac, 1946. ,
On spline distributions and their limits: The Polya distribution functions, Bulletin of the American Mathematical Society, vol.53, p.1114, 1947. ,
On P??lya frequency functions IV: The fundamental spline functions and their limits, Journal d'Analyse Math??matique, vol.42, issue.1, pp.71-107, 1966. ,
DOI : 10.1007/978-3-0348-4131-3_12
On the composition of programs for automatic computing, 1949. ,
A program composition technique as applied to inverse interpolation, 1950. ,
A Turing tale, Communications of the ACM, vol.57, issue.10, pp.36-38 ,
DOI : 10.1145/2629499
Doing Mathematics on the ENIAC. Von Neumann's and Lehmer's different visions, Mathematical Practice & Development throughout History. Proceedings of the 18th Novembertagung on the History, pp.149-186, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01396411
Some reflections on mathematics and ts relation to computer science, pp.75-101, 2015. ,
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC, Journal of Logic and Computation, vol.25, issue.4, pp.1011-1046, 2015. ,
DOI : 10.1016/B978-0-12-491650-0.50045-9
URL : https://hal.archives-ouvertes.fr/hal-01396482
Calculating machines and numerical tables ? a reciprocal history The history of numerical tables ,
The multiple meanings of a flowchart, Information and Culture: A journal of history, pp.321-351 ,
Cooperative study on area bombing, OEMsr-817, pp.803-805, 1944. ,
The Primacy of Science in Modernity, of Technology in Postmodernity, and of Ideology in the History of Technology, History and Technology, vol.43, issue.1-2, pp.1-152, 2007. ,
DOI : 10.2307/3100995
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 women of ENIAC, IEEE Annals of the History of Computing, vol.18, issue.3, pp.13-28, 1996. ,
DOI : 10.1109/85.511940
Computer simulations and the Trading Zone, From Science to Computational Science, pp.118-157, 2011. ,
Planning and coding of problems for an electronic computing instrument of Report on the Mathematical and Logical Aspects of an Electronic Computing Instrument, part I,II and III, pp.1947-1995 ,
The ENIAC, the verb "to program" and the emergence of digital computers, IEEE Annals of the History of Computing, vol.18, issue.1, pp.51-55, 1996. ,
DOI : 10.1109/85.476561
When computers were human, 2005. ,
Sample Criteria for Testing Outlying Observations, The Annals of Mathematical Statistics, vol.21, issue.1, pp.27-58, 1950. ,
DOI : 10.1214/aoms/1177729885
Actually, Turing did not invent the computer, Communications of the ACM, vol.57, issue.1, pp.36-41 ,
DOI : 10.1145/2542504
Making and Remaking the modern computer, 2016. ,
The legend of John von Neumann, The American mathematical monthly, pp.382-394, 1973. ,
The World as a Process ,
DOI : 10.1007/978-94-015-8686-3_5
The Eniac, an Electronic Computing Machine, Nature, vol.158, issue.4015, pp.500-506, 1946. ,
DOI : 10.1038/158500a0
Calculating instruments and machines, 1949. ,
Johann Ludwig Neumann von Margitta (1903???1957) Teil 1: Lehrjahre eines j??dischen Mathematikers w??hrend der Zeit der Weimarer Republik, Informatik-Spektrum, vol.11, issue.2, pp.133-141, 1903. ,
DOI : 10.1007/978-0-387-21626-3
Johann Ludwig Neumann von Margitta (1903???1957) Teil 2: Ein Privatdozent auf dem Weg von Berlin nach Princeton, Informatik-Spektrum, vol.29, issue.3, pp.227-236, 1903. ,
DOI : 10.1007/s00287-006-0084-x
Die Habilitation von John von Neumann an der Friedrich-Wilhelms-Universit??t in Berlin: Urteile ??ber einen ungarisch-j??dischen Mathematiker in Deutschland im Jahr 1927, Historia Mathematica, vol.37, issue.2, pp.242-280, 1927. ,
DOI : 10.1016/j.hm.2009.04.002
The Computation of Nature, Or: Does the Computer Drive Science and Technology?, Lecture Notes in Computer Science, vol.7921, pp.263-270, 2013. ,
DOI : 10.1007/978-3-642-39053-1_30
Ordnance ? the backbone of warfare, Alumni Review, California Institute of Technology, vol.6, issue.4, p.pp, 1943. ,
Extending ourselves: Computational science, empiricism, and scientific method, 2004. ,
DOI : 10.1007/bf00974980
The case for open computer programs, Nature, vol.20, issue.7386, pp.485-488 ,
DOI : 10.1109/32.328993
URL : http://www.nature.com/nature/journal/v482/n7386/pdf/nature10836.pdf
Es gibt keine Software, in: Friedrich Kittler, Draculas Vermächtnis, Technische Schriften, Reclam, pp.225-242, 1993. ,
Inventing an Analog Past and a Digital Future in, Exploring the Early Digital ,
Reminscences of wartime Los Alamos Reminiscences of Los Alamos, 1943. ,
DOI : 10.1007/978-94-009-9022-7_5
A Photo-Electric Instrument for Rapid Bomb-Fall Analysis and Damage Prediction, D. H. Lehmer, OSRD, vol.5641, p.4, 1945. ,
Mathematical methods in large scale computing units, Proceedings of Second Symposium on Large-Scale Digital Calculating Machinery, pp.141-146, 1949. ,
High-speed computing devices and their applications, in: Edwin F. Beckenbach, Modern mathematics for the engineer, pp.480-497, 1956. ,
Some high-speed logic, Experimental Arithmetic, High Speed Computing and Mathematics of Proceedings of Symposia in Applied Mathematics, pp.41-376, 1963. ,
DOI : 10.1090/psapm/015/0158509
Computer technology applied to the theory of numbers, pp.117-151, 1969. ,
The influence of computing on mathematical research and education The influence of computing on mathematical research and education, Proceedings of Symposia in Applied Mathematics, pp.3-12, 1974. ,
A history of the sieve process A history of computing in the twentieth century, Proceeding of the International Research Conference on the History of Computing, pp.445-456, 1976. ,
The Development of Mathematical Logic from Russell to Tarski The Development of Modern Logic, pp.318-470, 1900. ,
A logical calculus of the ideas immanent in nervous activity, The Bulletin of Mathematical Biophysics, vol.5, issue.4, pp.115-133, 1943. ,
DOI : 10.1007/BF02478259
The beginning of the Monte Carlo method, Los Alamos Science, Special Issue, vol.15, pp.125-130, 1909. ,
John von Neumann and Hilbert's school of foundations of mathematics, Studies in Logic, Grammar and Rhetoric, vol.7, issue.20, pp.37-55, 2004. ,
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
Curry
H. B.. The logic of program composition. Applications scientifiques de la logique math??matique, Actes du 2e Colloque International de Logique Math??matique, Paris???25???30 ao??t 1952, Institut Henri Poincar??, Collection de logique math??matique, s??rie A, Gauthier-Villars, Paris
1954, and E. Nauwelaerts, Louvain 1954, pp. 97???102., The Journal of Symbolic Logic, vol.22, issue.01, pp.102-103, 1957. ,
DOI : 10.2307/2964106
Before the ENIAC [weapons firing table calculations], IEEE Annals of the History of Computing, vol.19, issue.2, pp.25-30, 1997. ,
DOI : 10.1109/85.586069
On computing: the fourth great scientific disicpline, 2015. ,
A Richer Picture of Mathematics. The Göttingen Tradition and Beyond, 2018. ,
DOI : 10.1007/978-3-319-67819-1
Contribution to the problem of approximation of equidistant data by analytic functions. Part A. On the problem of anbalytic approximation formulae. COMPLETE Schoenberg, I. J., A brief account of my life and work, I.J. Schoenberg. Selected Paper, vol.1, pp.1-10, 1988. ,
Dictionary of Modern American Philosophers, 1082. ,
Curry's work on computers in the early days of computing, Canadian Society for History and Philosophy of Mathematics, Proceedings of the 38 th annual meeting, pp.149-153, 2012. ,
Mathematicians fleeing from nazi Germany. Individual fates and global impact, 2009. ,
A talk on relay computers, AMP Memo 171, 1M, National Defense Research Committee, 1945. ,
Thèunerring certainty of mechanical agency': machines and table making in the nineteenth century, pp.145-174, 2003. ,
DOI : 10.1093/acprof:oso/9780198508410.003.0007
The science of computing: shaping a discipline, 2015. ,
DOI : 10.1201/b17764
John von Neumann 1903-1957, Bulletin of the American Mathematical Society, vol.64, issue.3, pp.1-49, 1903. ,
DOI : 10.1090/S0002-9904-1958-10189-5
URL : http://www.ams.org/bull/1958-64-03/S0002-9904-1958-10189-5/S0002-9904-1958-10189-5.pdf
The interaction of mathematics and computing A history of computing in the twentieth century, Proceeding of the International Research Conference on the History of Computing, pp.93-99, 1976. ,
Du modèle à la simulation informatique, 2007. ,
Models and Simulation in the Science of Complexity ,
From System Complexity to Emergent Properties, pp.3-21, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00429153
Proposal and Analysis of a New Numerical Method for the Treatment of Hydrodynamical Shock Problems, 1R, Institute for Advanced Study, 1944. ,
First draft of a report on the EDVAC, contract no. w-670-ORD-492, IEEE Annals of the History of Computing, pp.27-75, 1945. ,
Numerical inverting of matrices of high order, Bulletin of the American Mathematical Society, vol.53, issue.11, pp.1021-1099, 1947. ,
DOI : 10.1090/S0002-9904-1947-08909-6
The Mathematician The works of the Mind, pp.180-196, 1947. ,
Various techniques used in connection with random digits Applied Math Series, National Bureau of Standards, vol.12, pp.36-38, 1951. ,
The computer and the brain, 1958. ,
The general and logical theory of automata, 1966. ,