|
|
|
|
| LEADER |
00863nam a22002057a 4500 |
| 001 |
321192 |
| 008 |
131021c2013 xx |||| |||| 00| 0 ||| d |
| 100 |
|
|
|a Pajot, Philippe.
|
| 245 |
1 |
0 |
|a Théorèmes, l'ordinateur fait ses preuves
|c Philippe Pajot.
|
| 260 |
|
|
|c 2013.
|
| 300 |
|
|
|a p. 22-23.
|
| 500 |
|
|
|a Fait partie d'un dossier de 24 articles intitulé ÷L'essentiel de la science, ce qu'il faut savoir÷.
|
| 520 |
|
|
|a 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.
|
| 650 |
|
|
|a Feit-Thompson, Théorème de.
|
| 650 |
|
|
|a Mathématiques
|x Informatique.
|
| 650 |
|
|
|a Articles de périodiques
|
| 773 |
0 |
|
|t Sciences et avenir : Hors série
|x 1142-4877
|w 118824
|g No 176
|
| 993 |
|
|
|a Article de revue
|
| 994 |
|
|
|a PS
|
| 997 |
|
|
|0 321192
|