Kapak Resmi

Théorèmes, l'ordinateur fait ses preuves

Il y a quelques mois, le théorème Feit-Thompson, monument de l'algèbre, devenait une certitude. Grâce à des outils informatiques performants, nouveaux assistants des mathématiciens.

Kaydedildi:

Detaylı Bibliyografya
Yayımlandı:	Sciences et avenir : Hors série No 176
Yazar:	Pajot, Philippe
Materyal Türü:	Numéro de revue thématique
Baskı/Yayın Bilgisi:	2013.
Konular:	Feit-Thompson, Théorème de. Mathématiques > Informatique. Articles de périodiques
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Un théorème de théorie des groupes vérifié par ordinateur
Yazar:: Pajot, Philippe
Baskı/Yayın Bilgisi: (2013)

Les Ordinateurs mathématiciens !.
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien
Baskı/Yayın Bilgisi: (2002)

Le théorème de Gödel
Yazar:: Nagel, Ernest, 1901-1985, ve diğerleri
Baskı/Yayın Bilgisi: (1989)

Le théorème de Gödel
Yazar:: Nagel, Ernest, 1901-1985, ve diğerleri
Baskı/Yayın Bilgisi: (1997)

Automated theorem Proving : a logical basis
Yazar:: Loweland, Donald
Baskı/Yayın Bilgisi: (1978)

Information theory and the central limit theorem
Yazar:: Johnson, Oliver T.
Baskı/Yayın Bilgisi: (2004)

Le Théorème des indéboulonnables
Yazar:: Mawhin, Jean
Baskı/Yayın Bilgisi: (2003)

Du rêve à la réalité des preuves
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien
Baskı/Yayın Bilgisi: (2011)

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
Yazar:: Singh, Simon, 1964-
Baskı/Yayın Bilgisi: (2011)

L'ordinateur dans la société
Yazar:: Lichnerowicz, André, 1915-1998
Baskı/Yayın Bilgisi: (1977)

L'Ordinateur familial, un phénomène social
Yazar:: Bozonnet, J.-P
Baskı/Yayın Bilgisi: (1987)

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
Yazar:: Singh, Simon, 1964-
Baskı/Yayın Bilgisi: (1999)

Les promesses de l'ordinateur quantique
Yazar:: Khalatbari, Azar
Baskı/Yayın Bilgisi: (2015)

Paver le plan avec un pentagone convexe
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien
Baskı/Yayın Bilgisi: (2017)

L' ordinateur démontre le théorème des 4 couleurs : 21 juin 1976
Yazar:: Monnier, Emmanuel
Baskı/Yayın Bilgisi: (2016)

L'Ordinateur, c'est chouette!.
Baskı/Yayın Bilgisi: (1993)

L'Ordinateur, maître ou serviteur ?
Yazar:: Banssillon, Denys
Baskı/Yayın Bilgisi: (1978)

Du zéro à l'ordinateur : Une brève histoire du calcul
Yazar:: Piguet, Christian, 1951-, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

L'ordinateur joue dans l'orchestre
Yazar:: Vandeginste, Pierre
Baskı/Yayın Bilgisi: (2011)

Jusqu'où l'ordinateur calculera-t-il?
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien
Baskı/Yayın Bilgisi: (2001)

Mathématiques sur micro-ordinateur
Yazar:: Reverchon, Alain
Baskı/Yayın Bilgisi: (1984)

1917. D'Arcy Thompson révèle le sens des formes naturelles
Yazar:: Monnier, Emmanuel
Baskı/Yayın Bilgisi: (2017)

L'homme et l'ordinateur : les enjeux de l'informatisation de la société
Yazar:: Paoletti, Félix
Baskı/Yayın Bilgisi: (2003)

Le couple, l'ordinateur, la famille
Yazar:: Le Douarin, Laurence
Baskı/Yayın Bilgisi: (2007)

L'Ordinateur et le cellulo
Baskı/Yayın Bilgisi: (1989)

Voyage au coeur de l'ordinateur quantique [Dossier] : Quel sera son impact sur le monde ?
Yazar:: Eljaouhari, Evrard-Ouicem
Baskı/Yayın Bilgisi: (2023)

Ecrire avec l'ordinateur
Baskı/Yayın Bilgisi: (1993)

L'esprit, l'ordinateur et les lois de la physique
Yazar:: Penrose, Roger
Baskı/Yayın Bilgisi: (1992)

L'ordinateur au pouvoir : essai sur les projets de rationalisation du gouvernement des hommes
Yazar:: Jamous, Haroun, 1934-, ve diğerleri
Baskı/Yayın Bilgisi: (1978)

L'enfant et l'ordinateur : aspects psychologiques et pédagogiques des nouvelles technologies de l'information
Yazar:: Retschitzki, Jean, 1943-, ve diğerleri
Baskı/Yayın Bilgisi: (1996)

Grande avancée vers l'ordinateur quantique (Une)
Yazar:: Khalatbari, Azar

Les Preuves de travail
Yazar:: Delahaye, Jean-Paul, 1952-...., mathématicien
Baskı/Yayın Bilgisi: (2014)

L'Ordinateur et l'entreprise : sociologie du changement
Yazar:: Marenco, Claudine, ve diğerleri
Baskı/Yayın Bilgisi: (1969)

L'ordinateur quantique va changer le monde [Dossier]
Yazar:: Nicot, Fabrice, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

La conjecture de modularité de Serre démontrée
Yazar:: Pajot, Philippe
Baskı/Yayın Bilgisi: (2010)

÷J'ai mis au point l'ordinateur imprécis÷
Yazar:: Nouyrigat, Vincent
Baskı/Yayın Bilgisi: (2012)

L'enfant, le robot et l'ordinateur
Baskı/Yayın Bilgisi: (2007)

Cours de logique mathématique.
Yazar:: Fraïssé, Roland, 1920-
Baskı/Yayın Bilgisi: (1967)

Utilisations de l'ordinateur dans l'enseignement secondaire
Baskı/Yayın Bilgisi: (1993)

L'Ordinateur quantique.
Baskı/Yayın Bilgisi: (2006)