$Les Ordinateurs mathématiciens !.$

Les Ordinateurs mathématiciens !.

Enregistré dans:

Détails bibliographiques
Publié dans:	Bulletin de l'A.P.M.E.P. No 442
Auteur principal:	Delahaye, Jean-Paul, 1952-...., mathématicien.
Support:	Article de revue
Langue:	Français
Publié:	2002.
Sujets:	Informatique > Mathématiques. Théorèmes > Démonstration automatique. Articles de périodiques
Lien:	Dans: Bulletin de l'A.P.M.E.P.

Documents similaires

Automated theorem Proving : a logical basis
par: Loweland, Donald.
Publié: (1978)

Du rêve à la réalité des preuves
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2011)

Paver le plan avec un pentagone convexe
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2017)

Elémentaire, mon cher Poincaré : Un problème mathématique à un million de dollars.
par: Larousserie, David.
Publié: (2003)

Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
par: David, René, 1948-
Publié: (2001)

Comment vérifier les longues démonstrations ?
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2015)

Persuader de son savoir sans le transmettre
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2011)

Théorèmes, l'ordinateur fait ses preuves
par: Pajot, Philippe.
Publié: (2013)

Prouver à l'aide de l'infini
par: Pajot, Philippe.
Publié: (2018)

Le pizzaiolo mathématicien
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2010)

Les ordinateurs ont la parole
par: Aaron, Andy.
Publié: (2005)

Un vieux problème de courbes enfin bouclé
par: Laurens, Clémentine.
Publié: (2023)

Pythagore à la plage : les nombres dans un transat
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2021)

Classification automatique et perception par ordinateur : textes des exposées
Publié: (1975)

Les mathématiciens face au défi des machines
par: Harris, Michael E.
Publié: (2022)

Der Grundriss der Epideixis des hl. Irenäus
par: Nussbaumer, Arnold, 1886-
Publié: (1921)

Cours de logique mathématique.
par: Fraïssé, Roland, 1920-
Publié: (1967)

Mathématiques sur micro-ordinateur
par: Reverchon, Alain.
Publié: (1984)

Gödel's proof
par: Nagel, Ernest, 1901-1985.
Publié: (1959)

Information theory and the central limit theorem
par: Johnson, Oliver T.
Publié: (2004)

Le traducteur et l'ordinateur [Dossier]
Publié: (1994)

Les Limites de la raison mathématique
par: Chaitin, Gregory J.
Publié: (2006)

Le point aveugle : cours de logique
par: Girard, Jean-Yves, 1947-
Publié: (2007)

Le point aveugle : cours de logique
par: Girard, Jean-Yves, 1947-
Publié: (2006)

Hasard et complexité en mathématiques
par: Chaitin, Gregory J.
Publié: (2009)

Le théorème de Gödel
par: Nagel, Ernest, 1901-1985.
Publié: (1997)

Le théorème de Gödel
par: Nagel, Ernest, 1901-1985.
Publié: (1989)

Des nombres d'exception [Dossier]
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2019)

Un théorème de théorie des groupes vérifié par ordinateur
par: Pajot, Philippe.
Publié: (2013)

÷La mathématique peut déchaîner les passions÷
par: Khalatbari, Azar.
Publié: (2012)

Jusqu'où l'ordinateur calculera-t-il?
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2001)

L' Informatique théorique
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2002)

Le dernier théorème de Fermat : l'histoire de l'énigme qui a défié les plus grands esprits du monde pendant 358 ans
par: Singh, Simon, 1964-
Publié: (2011)

Mathématiques sur micro-ordinateur
par: Reverchon, Alain.
Publié: (1985)

Les Preuves de travail
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2014)

The Theory of parsing, translation and compiling.
par: Aho, Alfred V.
Publié: (1973)

Mathématiques expérimentales
par: Delahaye, Jean-Paul, 1952-...., mathématicien.
Publié: (2005)

Mathématiques : Pourquoi raconter des maths à un ordinateur
Publié: (2022)

Le Théorème des indéboulonnables
par: Mawhin, Jean.
Publié: (2003)

Quand l'analyse rencontre la géométrie
par: Bourguignon, Jean-Pierre.
Publié: (2004)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1