|
|
|
|
| LEADER |
00808nam a22002057a 4500 |
| 001 |
297861 |
| 008 |
101129c2010 xx |||| |||| 00| 0 ||| d |
| 100 |
|
|
|a Pajot, Philippe.
|
| 245 |
1 |
0 |
|a Vérifier une démonstration en un coup d'oeil
|c Philippe Pajot.
|
| 260 |
|
|
|c 2010.
|
| 300 |
|
|
|a p. 20-21.
|
| 520 |
|
|
|a Une méthode probabiliste de vérification de théorèmes permet de valider une démonstration en vérifiant seulement une petite partie. Irit Dinur, qui a produit une nouvelle démonstration de ce résultat, nous explique cette percée de l'informatique théorique.
|
| 600 |
|
|
|a Dinur, Irit,
|d 19..-....
|x Entretiens
|
| 650 |
|
|
|a Algorithmes.
|
| 650 |
|
|
|a Probabilités.
|
| 650 |
|
|
|a Articles de périodiques
|
| 773 |
0 |
|
|t La Recherche
|g No 447
|
| 993 |
|
|
|a Article de revue
|
| 994 |
|
|
|a PS
|
| 997 |
|
|
|0 297861
|