Théorèmes, l'ordinateur fait ses preuves
Enregistré dans:
Foilsithe in: | Sciences et avenir : Hors série No 176 |
---|---|
Príomhúdar: | Pajot, Philippe. |
Formáid: | Article de revue |
Foilsithe: |
2013.
|
Ábhair: | |
Achoimre: | 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. |
Míreanna Gaolmhara: | Coinnithe i:
Sciences et avenir : Hors série |
Míreanna Comhchosúla
-
Un théorème de théorie des groupes vérifié par ordinateur
le: Pajot, Philippe.
Foilsithe: 2013 -
Les Ordinateurs mathématiciens !.
le: Delahaye, Jean-Paul, 1952-...., mathématicien.
Foilsithe: 2002 -
Le théorème de Gödel
le: Nagel, Ernest, 1901-1985.
Foilsithe: 1989 -
Le théorème de Gödel
le: Nagel, Ernest, 1901-1985.
Foilsithe: 1997 -
Information theory and the central limit theorem
le: Johnson, Oliver T.
Foilsithe: 2004