Coq. Les maths ont trouvé leur maître
Kaydedildi:
Yayımlandı: | Science et vie No 1148 |
---|---|
Yazar: | |
Materyal Türü: | Article de revue |
Baskı/Yayın Bilgisi: |
2013.
|
Konular: | |
Özet: | 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 ! |
İlgili Kayıtlar: | İçinde Bulunduğu:
Science et vie |
BU Sciences
Yer | Yer Numarası | Durum | |
---|---|---|---|
n° 1148 (2013)
|
Archives | 500 RS SCI |
Dispo. du n° : voir "Lien"
|