Coq. Les maths ont trouvé leur maître
Đã lưu trong:
Xuất bản năm: | Science et vie No 1148 |
---|---|
Tác giả chính: | |
Định dạng: | Article de revue |
Được phát hành: |
2013.
|
Những chủ đề: | |
Tóm tắt: | 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 ! |
Các quyển sách có liên quan: | Chứa trong:
Science et vie |
BU Sciences
Vị trí | Số hiệu | Trạng thái | |
---|---|---|---|
n° 1148 (2013)
|
Archives | 500 RS SCI |
Dispo. du n° : voir "Lien"
|