A. Aho, M. Lam, R. Sethi, and J. Ullman, Compilers. Principles, techniques and tools, second edition On interpolation by iteration of proportional parts, without the use of differences, Proceedings of the Edinburgh Mathematical Society, pp.56-76, 1932.

F. Alt, Archaelogy of computers: reminiscences, 1945-1947, Communications of the ACM, vol.15, issue.7, pp.693-694, 1972.
DOI : 10.1145/361454.361528

L. Arbogast, Du Calcul des Dérivations Airy Papers, Mathematical tables and other aids to Computation, pp.1-2, 1800.

W. Ashworth, The calculating eye: Baily, Herschel, Babbage and the business of astronomy, The British Journal for the History of Science, vol.27, issue.04, pp.409-441, 1821.
DOI : 10.1017/S0007087400032428

D. Aubin, Observatory mathematics in the nineteenth century, Oxford Handbook for the History of Mathematics, pp.273-298, 2009.

C. Babbage, An essay on the calculus of functions, part i, Babbage, vol.105, issue.1, pp.489-523, 1815.

C. Babbage, An essay on the calculus of functions, part ii, Babbage, vol.106, issue.1, pp.179-256, 1816.

C. Babbage, On the Theoretical Principles of the Machinery for Calculating Tables, In: Edinburgh Philosophical Journal Babbage, vol.8, issue.2, pp.1128-1166, 1823.
DOI : 10.1017/CBO9780511694721.008

C. Babbage, On the economy of machinery and manufactures, Babbage, vol.8, 1832.

C. Babbage, On tables of the constants of nature and arts. The Annual Report of the Board of Regents of the Smithsonian Institution for 1856 pp 289?302, Babbage, vol.4, 1857.

C. Babbage, London Baily F (1823) On mr babbages new machine for calculating and printing mathematical and astronomical tables, In: Edinburgh Philosohical Journal Babbage, vol.16, issue.2, pp.46-409, 1989.

R. Bellman and S. Dreyfus, Functional approximations and dynamic programming, Mathematical tables and other aids to Computation, pp.247-251, 1959.
DOI : 10.2307/2002797

URL : http://www.dtic.mil/get-tr-doc/pdf?AD=AD0606538

R. Bivins, N. Metropolis, P. Stein, and M. Wells, Characters of the Symmetric Groups of Degree 15 and 16, Mathematical Tables and Other Aids to Computation, vol.8, issue.48, pp.212-216, 1954.
DOI : 10.2307/2002094

C. Bonneuil and P. Joly, Sciences, techniques et sociétés The evolution of babbage's calculating engines, Annals of the History of Computing, vol.9, pp.113-136, 1987.

A. Bromley, The functional algorithms and control of charles babbages analytical engine circa 1838, p.167, 1980.

M. Bullynck and L. Mol, 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.1007/s00153-009-0169-8

URL : https://hal.archives-ouvertes.fr/hal-01396497

A. Burks and A. Burks, First General-Purpose Electronic Computer, IEEE Annals of the History of Computing, vol.3, issue.4, pp.310-399, 1981.
DOI : 10.1109/MAHC.1981.10043

A. Burks and H. Huskey, ENIAC operating manual. Tech. rep., Moore School of Electrical Engineering, University of Pennsylvania Bush V (1931) The differential analyzer. A new machine for solving differential equations, Journal of The Franklin Institute, vol.212, pp.447-488, 1946.

C. Babbage and A. , Addition to the memoir of m. menabrea on the analytical engine, Babbage, vol.23, issue.3, pp.23-291, 1843.

M. Campbell-kelly, M. Croarken, R. Flood, and E. Robson, The history of mathematical tables. From Sumer to Spreadsheets Tides, A Scientific History Polynomial approximations to elementary functions, Mathematical Tabels and Other Aids to Computation, pp.143-147, 1954.

T. Coe, Computational aspects of the Pentium affair, IEEE Computational Science and Engineering, vol.2, issue.1, pp.18-31, 1995.
DOI : 10.1109/99.372929

G. Cohen, On an integer's infinitary divisor's, Mathematics of Computation, vol.54, issue.189, pp.395-411, 1990.

L. Comrie, The application of calculating machines to astronomical computing, Popular Astronomy, vol.3, pp.243-246, 1925.

L. Comrie, On the Application of the Brunsviga-Dupla Calculating Machine to Double Summation with Finite Differences.: (Plates 4 and 5.), Monthly Notices of the Royal Astronomical Society, vol.88, issue.5, pp.444-459, 1928.
DOI : 10.1093/mnras/88.5.447

L. Comrie, On the construction of tables by interpolation, Monthly Notices of the Royal Astronomical Society LXXXVIII, issue.6, pp.506-523, 1928.

L. Comrie, The Nautical Almanac Office Burroughs Machine. (Plates 5, 6.), Monthly Notices of the Royal Astronomical Society, vol.92, issue.6, pp.523-541, 1932.
DOI : 10.1093/mnras/92.6.523

L. Comrie, The Application of the Hollerith Tabulating Machine to Brown's Tables of the Moon. (Plates 11-13.), Monthly Notices of the Royal Astronomical Society, vol.92, issue.7, pp.694-707, 1932.
DOI : 10.1093/mnras/92.7.694

L. Comrie, The application of commercial calculating machines to scientific computation, Mathematical Tables and Other Aids to Computation, pp.149-159, 1946.

L. Comrie, Babbage's dream comes true, Nature, vol.159, pp.567-568, 1946.

P. Denning and P. Freeman, The profession of it. computing's paradigm, Communications of the ACM, vol.52, issue.12, pp.28-30, 2009.

J. Dubbey, The Mathematical Work of Charles Babbage, Histoire des Sciences XLIII, issue.2-3, pp.129-180, 1978.
DOI : 10.1017/CBO9780511622397

M. Durand-richard, Ecole Algébrique Anglaise : les conditions conceptuelles et institutionnelles d'un calcul symbolique comme fondement de la connaissance, Europe mathématique -Mythes, histoires, identités, Editions de la Maison des sciences de l'homme, pp.445-498, 1996.

M. Durand-richard, Logic Versus Algebra: English Debates and Boole???s Mediation, Gasser J (ed) Anthology on Boole, pp.139-166, 2000.
DOI : 10.1007/978-94-015-9385-4_9

M. Durand-richard, Planimeters and integraphs in the 19th century, before the differential analyzer, Nuncius XXIV, issue.6, pp.101-124, 2010.

M. Durand-richard, Le regard français de charles babbage (1791-1871) sur le déclin de la science en angleterre, pp.287-304, 2011.

M. Durand-richard, Historiographie du calcul graphique, 2014.

W. Eckert, Punched card methods and scientific computation Calculations in the liquid-drop model of fission, Thomas J. Watson Astronomical Computing Bureau, pp.914-925, 1940.

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

J. J. Frphilips and H. Know-shaw, Meeting of the Royal Astronomical Society, friday, 1928 march 9. The Observatory, A Monthly review of, Astronomy LL, issue.647, pp.105-118, 1928.

B. Gille, Prolégomènes une histoire des techniques, Histoire des Techniques, 1978.

A. Goldstine, Report on the ENIAC, technical report I, 1946.

H. Goldstine and A. Goldstine, The electronic numerical integrator and computer (ENIAC) Mathematical Tabels and Other Aids to Computation, pp.97-110, 1946.

H. Goldstine and J. Von-neumann, On the principles of large scale computing machines, pp.1961-63, 1946.
DOI : 10.1090/pspum/050/1067758

I. Grattan-guinness, Charles Babbage as an algorithmic thinker, IEEE Annals of the History of Computing, vol.14, issue.3, pp.34-48, 1992.
DOI : 10.1109/85.150067

I. Grattan-guinness, The computation factory: de Prony's project for making tables in the 1790s, pp.105-121, 2003.
DOI : 10.1093/acprof:oso/9780198508410.003.0005

D. Grier, Table making for the relief of labour, pp.265-292, 2003.
DOI : 10.1093/acprof:oso/9780198508410.003.0011

D. Grier, The rise and fall of the committee on mathematical tables and other aids to computation, IEEE Annals of the History of Computing, vol.23, issue.2, pp.38-49, 2001.
DOI : 10.1109/85.929910

D. Grier, O. Haigh, T. Priestley, M. Rope, and C. , When Computers where Human Reconsidering the stored-program concept, IEEE Annals for the history of computing, vol.36, issue.1, pp.4-17, 2005.

M. Hall, J. Swift, and R. Killgrove, On Projective Planes of Order Nine, Mathematical Tables and Other Aids to Computation, vol.13, issue.68, pp.233-246, 1959.
DOI : 10.2307/2002796

D. Hartree, The Differential Analyser, Nature, vol.135, issue.3423, p.940, 1935.
DOI : 10.1038/135940a0

D. Hartree, The differential analyser. National Archives for the History of Computing, pp.1-7, 1935.

D. Hartree, The application of the differential analyser to the evaluation of solutions of partial differential equations, pp.327-337, 1946.

J. Herschel, On equations of differences, and their application to the determination of functions from given conditions, Memoirs of the Analytical Society, vol.1, pp.65-114, 1813.

J. Herschel, On trigonometrical series, particularly those whose terms are multiplied by the tangents, cotangents, secants, &c., of quantities in arithmetical progression, together with some singular transformations, Memoirs of the Analytical Society, vol.1, pp.33-64, 1813.

J. Herschel, Collection of Examples of the Applications of the Calculus of Finite Differences Deighton and Sons Charles Babbage, Pioneer of the Computer, with appendix and notes. Deighton and Sons, Cambridge cois Lacroix SF (1802) Traité des différences et des Séries, faisant suite au Traité du Calcul différentiel et du Calcul intégral, pp.263-327, 1816.

D. Lehmer, On the Converse of Fermat's Theorem II, The American Mathematical Monthly, vol.56, issue.5, pp.300-309, 1949.
DOI : 10.2307/2306041

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

D. Lehmer, Mechanized mathematics, Bulletin of the American Mathematical Society, vol.72, issue.5, pp.739-750, 1966.
DOI : 10.1090/S0002-9904-1966-11553-7

J. Lubet, Le calcul aux différences et ses multiples facettes, Editions du CNRS, 2014.

S. Mccartney, ENIAC. The Triumphs and Tragedies of the World's first Computer. Walker and Co., New York Menabrea L (1842) Notions sur la machine analytique de m. charles babbage, Bibliothèque universelle de Genève, pp.62-82, 1989.

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

N. Metropolis and S. Ulam, The Monte Carlo Method, Journal of the American Statistical Association, vol.44, issue.247, pp.335-341, 1949.
DOI : 10.1080/01621459.1949.10483310

L. Mol, M. Carlé, and M. Bullynck, Haskell before Haskell. An alternative lesson in practical logics of the ENIAC, Journal of Logic and Computation, p.72, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01396489

R. Napper, The Manchester Mark 1 computers The first computers: History and Architectures, pp.356-377, 2000.

J. Von-neumann, The General and Logical Theory of Automata Table making in astronomy, pp.177-207, 1966.

U. Observatory, The American Ephemeris and Nautical Almanac for 1967. US Government Printing Office Mathematics of computation, Washington Panteki M Mathematics of Computation, vol.14, issue.69, pp.1-2, 1960.

H. Polachek, The art of Unix programming An ENIAC determination of ? and e to more than 2000 decimal places, ES Mathematical Tables and Other Aids to Computation, vol.19, issue.429, pp.11-15, 1950.

D. Sadler, A Personal History of H. M. Nautical Almanac Office A logarithm algorithm, Syllepse Mathematical Tables and Other Aids to Computation, pp.60-64, 1930.

D. Shanks, Quadratic Residues and the Distribution of Primes, Mathematical Tables and Other Aids to Computation, vol.13, issue.68, pp.272-284, 1959.
DOI : 10.2307/2002800

D. Shanks, A Sieve Method for Factoring Numbers of the Form n 2 + 1, Mathematical Tables and Other Aids to Computation, vol.13, issue.66, pp.78-86, 1959.
DOI : 10.2307/2001956

S. Slavyanov, W. Lay, and A. Seeger, Oxford Smith A (1776) An Enquiry into the Nature and Causes of the Wealth of Nations. W. Strahan and T. Cadell Gentlemen of Science, Early Years of the British Association for the Advancement of Science (1876a) Mechanical integration of linear differential equations of the second order with variable coefficients, London Thackray JMJ Proceedings of the Royal Society, vol.24, pp.269-271, 1981.

W. Thomson, The tidal gauge, tidal harmonic analyser, and tidal predictor, with discussion, Minutes of the Proceedings of the Insitution of Civil Enginners, pp.2-72, 1881.

H. Tropp, Ida rhodes, interview, march 21 Archives Center, National Museum of American History, pp.1969-1973, 1973.

M. Tweedie, A Modification of the Aitken-Neville Linear Iterative Procedures for Polynomial Interpolation, Mathematical Tables and Other Aids to Computation, vol.8, issue.45, pp.13-16, 1954.
DOI : 10.2307/2002468

G. Wilkins, The making of astronomical tables in h. m. nautical almanach office, pp.295-320, 2003.

M. Williams, The difference engines, The Computer Journal, vol.19, issue.1, pp.123-142, 2003.
DOI : 10.1093/comjnl/19.1.82

D. Wormesley, A method for the numerical mechanics or mechanical solution of certain type of partial differential equations, Proceedings of the Royal Society A, vol.161, issue.2, pp.454-366, 1937.

B. Zondek and J. Sheldon, On the Error Propagation in Adams' Extrapolation Method, Mathematical Tables and Other Aids to Computation, vol.13, issue.65, pp.52-55, 1959.
DOI : 10.2307/2002196