Théorèmes, l'ordinateur fait ses preuves
Shranjeno v:
| izdano v: | Sciences et avenir : Hors série No 176 |
|---|---|
| Glavni avtor: | |
| Format: | Article de revue |
| Izdano: |
2013.
|
| Teme: | |
| Izvleček: | 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. |
| Sorodne knjige/članki: | Vsebovano v:
Sciences et avenir : Hors série |