O'Reilly logo

Computation, Proof, Machine by Marion Roman, Pierre Guillot, Gilles Dowek

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Bibliography

Chapter 1

Maurice Caveing, Essai sur le savoir mathématique dans la Mésopotamie et l’Égypte anciennes, Presses Universitaires de Lille, 1994.

Amy Dahan-Dalmédico, Jeanne Pfeiffer, Une Histoire des mathématiques, Le Seuil, 1986.

Chapter 2

Jean-Luc Chabert, Évelyne Barbin, Michet Guillemot, Anne Michel-Pajus, Jacques Borowczyk, Ahmed Djebbar, Jean-Clause Martzloff, Histoires d’algorithmes, du caillou à la puce, Belin, 1994.

Ahmed Djebbar, L’Âge d’or des sciences arabes, le Pommier/Cité des Sciences et de l’Industrie, 2005.

Georg Wilhem Leibniz, La Naissance du calcul différentiel, introduction, translation, and annotations by Marc Parmentier, preface by Michel Serres, Vrin, 1989.

Chapter 3

René Cori, Daniel Lascar, Logique mathématique, ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required