|
|
|
|
| LEADER |
00837nam a22002057a 4500 |
| 001 |
315498 |
| 008 |
130108c2013 xx |||| |||| 00| 0 ||| d |
| 100 |
|
|
|a Pajot, Philippe.
|
| 245 |
1 |
3 |
|a Un théorème de théorie des groupes vérifié par ordinateur
|c Philippe Pajot.
|
| 260 |
|
|
|c 2013.
|
| 300 |
|
|
|a p. 18-19.
|
| 520 |
|
|
|a En codant de nombreuses théories d'algèbre, des informaticiens sont parvenus à vérifier par ordinateur la démonstration d'un important théorème de théorie des groupes. Ce succès ouvre la voie à la vérification de problèmes mathématiques difficiles.
|
| 600 |
|
|
|a Gonthier, Georges,
|d 19..-....
|
| 650 |
|
|
|a Feit-Thompson, Théorème de.
|
| 650 |
|
|
|a Théorie des groupes.
|
| 650 |
|
|
|a Articles de périodiques
|
| 773 |
0 |
|
|t La Recherche
|g No 471
|
| 993 |
|
|
|a Article de revue
|
| 994 |
|
|
|a PS
|
| 997 |
|
|
|0 315498
|