Coq. Les maths ont trouvé leur maître
Bewaard in:
| Gepubliceerd in: | Science et vie No 1148 |
|---|---|
| Hoofdauteur: | |
| Formaat: | Article de revue |
| Gepubliceerd in: |
2013.
|
| Onderwerpen: | |
| Samenvatting: | 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 ! |
| Gerelateerde Items: | Deel van:
Science et vie |
BU Sciences
| Plaats | Plaatsingsnummer | Status | |
|---|---|---|---|
|
n° 1148 (2013)
|
Archives | 500 RS SCI |
Dispo. du n° : voir "Lien"
|