Coq. Les maths ont trouvé leur maître
Na minha lista:
Publicado no: | Science et vie No 1148 |
---|---|
Autor principal: | |
Formato: | Article de revue |
Publicado em: |
2013.
|
Assuntos: | |
Resumo: | 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 ! |
Itens Relacionados: | Contido em:
Science et vie |
BU Sciences
Localização | Área/Cota | Estado | |
---|---|---|---|
n° 1148 (2013)
|
Archives | 500 RS SCI |
Dispo. du n° : voir "Lien"
|