|
|
|
|
| LEADER |
00789nam a22001817a 4500 |
| 001 |
317544 |
| 008 |
130424c2013 xx |||| |||| 00| 0 ||| d |
| 100 |
|
|
|a Pajot, Philippe.
|
| 245 |
1 |
0 |
|a Coq. Les maths ont trouvé leur maître
|c Philippe Pajot.
|
| 260 |
|
|
|c 2013.
|
| 300 |
|
|
|a p. 110-113.
|
| 520 |
|
|
|a Pour qu'un théorème soit juste, il faut qu'il soit démontré. Ce qui nécessite des dizaines et des dizaines de pages de raisonnement... qu'un logiciel, baptisé Coq, permet aujourd'hui de vérifier automatiquement et, surtout, de valider, sans erreur possible. De quoi révolutionner les maths !
|
| 650 |
|
|
|a Mathématiques
|x Logiciels.
|
| 650 |
|
|
|a Articles de périodiques
|
| 773 |
0 |
|
|w 118859
|t Science et vie
|x 0036-8369
|g No 1148
|
| 993 |
|
|
|a Article de revue
|
| 994 |
|
|
|a PS
|
| 997 |
|
|
|0 317544
|