Théorèmes, l'ordinateur fait ses preuves
Enregistré dans:
| Publié dans: | Sciences et avenir : Hors série No 176 |
|---|---|
| Auteur principal: | |
| Support: | Article de revue |
| Publié: |
2013.
|
| Sujets: | |
| Résumé: | 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. |
| Lien: | Dans:
Sciences et avenir : Hors série |