F. Alt, Dr. Franz Alt Oral history by Atsushi Akera, Proceeding ACM Oral History interviews, 2006.

S. Anderl, Implicit changes of representational ideals in astrophysics -The example of the Paris- Durham shock model

N. Angius and G. Primiero, The logic of identity and copy for computational artefacts, Journal of Logic and Computation, vol.54, 2018.
DOI : 10.1093/bjps/54.2.261

B. Aspray and J. Von, Neumann and the origins of modern computing, 1990.

A. Borrelli, Program FAKE: Monte Carlo simulations as tools of theory in early high energy physics

V. Bush, J. B. Conant, and W. Weaver, 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.

V. Bush, J. B. Conant, and W. Weaver, Probability and Statistical studies in warfare analysis, National Defense Research Committee, Summary Technical report of the Applied Mathematics Panel, NDRC, vol.3, 1946.

A. Barberousse and C. Imbert, Le tournant computationnel et l'innovation théorique, Précis de philosophie de la physique, 2013.

T. J. Bergin, 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

N. Bredella, How the widespread use of Building Modeling came about through a mesh of changes within and without technology

M. Bullynck, D. Mol, and L. , 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

M. Bullynck, 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

M. Bullynck, D. Mol, and L. , 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

M. Campbell-kelly, M. Croarken, R. Flood, and E. Robson, The history of mathematical tables. From Sumer to spreadsheets, 2003.
DOI : 10.1093/acprof:oso/9780198508410.001.0001

. Campbell-kelly, The computation factory: de Prony's project for making tables in the 1970s, pp.105-121, 2003.

R. Courant, K. Friedrichs, and H. Lewy, ???ber die partiellen Differenzengleichungen der mathematischen Physik, Mathematische Annalen, vol.98, issue.6, pp.32-74, 1928.
DOI : 10.1002/zamm.19260060408

H. B. Curry, An Analysis of Logical Substitution, American Journal of Mathematics, vol.51, issue.3, pp.363-384
DOI : 10.2307/2370728

H. B. Curry, Mathematical Teaching and National Defense, The School Review, vol.50, issue.5, pp.337-346, 1942.
DOI : 10.1086/440788

H. B. Curry, The Heaviside Operational Calculus, The American Mathematical Monthly, vol.48, issue.2, pp.365-379, 1943.
DOI : 10.1090/S0002-9904-1942-07726-3

H. B. Curry, 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

H. B. Curry and W. A. Wyatt, A study of inverse interpolation of the Eniac, 1946.

H. B. Curry and I. J. Schoenberg, On spline distributions and their limits: The Polya distribution functions, Bulletin of the American Mathematical Society, vol.53, p.1114, 1947.

H. B. Curry and I. J. Schoenberg, 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

H. B. Curry, On the composition of programs for automatic computing, 1949.

H. B. Curry, A program composition technique as applied to inverse interpolation, 1950.

E. Daylight, A Turing tale, Communications of the ACM, vol.57, issue.10, pp.36-38
DOI : 10.1145/2629499

D. Mol and L. , 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

D. Mol and L. , Some reflections on mathematics and ts relation to computer science, pp.75-101, 2015.

D. Mol, L. Carlé, M. Bullynck, and M. , 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

D. Mol, L. , and M. , Calculating machines and numerical tables ? a reciprocal history The history of numerical tables

N. Ensmenger, The multiple meanings of a flowchart, Information and Culture: A journal of history, pp.321-351

M. W. Eudey, E. Fix, E. Lehmann, D. H. Lehmer, E. Lehmer et al., Cooperative study on area bombing, OEMsr-817, pp.803-805, 1944.

P. Forman, 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

B. 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

B. Fritz, The women of ENIAC, IEEE Annals of the History of Computing, vol.18, issue.3, pp.13-28, 1996.
DOI : 10.1109/85.511940

P. Galison, Computer simulations and the Trading Zone, From Science to Computational Science, pp.118-157, 2011.

H. H. Goldstine and J. Von-neumann, 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

D. A. Grier, 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

D. A. Grier, When computers were human, 2005.

F. E. Grubss, Sample Criteria for Testing Outlying Observations, The Annals of Mathematical Statistics, vol.21, issue.1, pp.27-58, 1950.
DOI : 10.1214/aoms/1177729885

T. Haigh, Actually, Turing did not invent the computer, Communications of the ACM, vol.57, issue.1, pp.36-41
DOI : 10.1145/2542504

T. Haigh, M. Priestley, and C. Rope, Making and Remaking the modern computer, 2016.

P. R. Halmos, The legend of John von Neumann, The American mathematical monthly, pp.382-394, 1973.

S. Hartmann, The World as a Process
DOI : 10.1007/978-94-015-8686-3_5

D. R. Hartree, The Eniac, an Electronic Computing Machine, Nature, vol.158, issue.4015, pp.500-506, 1946.
DOI : 10.1038/158500a0

D. R. Hartree, Calculating instruments and machines, 1949.

U. Hashagen, 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

U. Hashagen, 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

U. Hashage, 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

U. Hashagen, 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

F. C. Hoff, Ordnance ? the backbone of warfare, Alumni Review, California Institute of Technology, vol.6, issue.4, p.pp, 1943.

P. W. Humphreys, Extending ourselves: Computational science, empiricism, and scientific method, 2004.
DOI : 10.1007/bf00974980

D. C. Ince, L. Hatton, and J. Graham-cumming, 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

F. A. Kittler, Es gibt keine Software, in: Friedrich Kittler, Draculas Vermächtnis, Technische Schriften, Reclam, pp.225-242, 1993.

R. R. Kline, Inventing an Analog Past and a Digital Future in, Exploring the Early Digital

G. B. Kistiakowsky, L. Badash, J. O. Hirschfelder, and H. P. Broida, Reminscences of wartime Los Alamos Reminiscences of Los Alamos, 1943.
DOI : 10.1007/978-94-009-9022-7_5

D. H. Lehmer, A Photo-Electric Instrument for Rapid Bomb-Fall Analysis and Damage Prediction, D. H. Lehmer, OSRD, vol.5641, p.4, 1945.

D. H. Lehmer, Mathematical methods in large scale computing units, Proceedings of Second Symposium on Large-Scale Digital Calculating Machinery, pp.141-146, 1949.

D. H. Lehmer, High-speed computing devices and their applications, in: Edwin F. Beckenbach, Modern mathematics for the engineer, pp.480-497, 1956.

D. H. Lehmer, 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

D. H. Lehmer, Computer technology applied to the theory of numbers, pp.117-151, 1969.

D. H. Lehmer, 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.

D. H. Lehmer, J. Howlett, N. Metropolis, and G. Rota, 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.

P. Mancosu, R. Zach, and C. Badesa, The Development of Mathematical Logic from Russell to Tarski The Development of Modern Logic, pp.318-470, 1900.

W. Mccullogh and W. Pitts, 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

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

R. Murawski, 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.

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. Patterson, 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

H. Polachek, 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

P. S. Rosenbloom, On computing: the fourth great scientific disicpline, 2015.

D. Rowe, A Richer Picture of Mathematics. The Göttingen Tradition and Beyond, 2018.
DOI : 10.1007/978-3-319-67819-1

I. J. Schoenberg, 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.

J. P. Seldin, H. Curry, and . Brooks, Dictionary of Modern American Philosophers, 1082.

J. P. Seldin, 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.

R. Siegmund-schultz, Mathematicians fleeing from nazi Germany. Individual fates and global impact, 2009.

G. R. Stibitz, A talk on relay computers, AMP Memo 171, 1M, National Defense Research Committee, 1945.

D. Swade, 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

M. Tedre, The science of computing: shaping a discipline, 2015.
DOI : 10.1201/b17764

S. Ulam and . John-von-neumann, 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

S. Ulam, J. Von-neumann-howlett, N. Metropolis, and G. Rota, 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.

F. Varenne, Du modèle à la simulation informatique, 2007.

F. Varenne, Models and Simulation in the Science of Complexity

. Bertelle, From System Complexity to Emergent Properties, pp.3-21, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00429153

J. Von-neumann, Proposal and Analysis of a New Numerical Method for the Treatment of Hydrodynamical Shock Problems, 1R, Institute for Advanced Study, 1944.

J. Von-neumann, 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.

J. Von-neumann and H. H. Goldstine, 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

J. Von-neumann and R. B. Heywood, The Mathematician The works of the Mind, pp.180-196, 1947.

J. Von-neumann, Various techniques used in connection with random digits Applied Math Series, National Bureau of Standards, vol.12, pp.36-38, 1951.

J. Von-neumann, The computer and the brain, 1958.

J. Von-neumann, The general and logical theory of automata, 1966.