Coq. Les maths ont trouvé leur maître
Αποθηκεύτηκε σε:
| Τόπος έκδοσης: | Science et vie No 1148 |
|---|---|
| Κύριος συγγραφέας: | |
| Μορφή: | Article de revue |
| Έκδοση: |
2013.
|
| Θέματα: | |
| Περίληψη: | 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 ! |
| Σχετικά τεκμήρια: | Περιέχεται σε:
Science et vie |
BU Sciences
| Τοποθεσία | Ταξιθετικός Αριθμός | Κατάσταση | |
|---|---|---|---|
|
n° 1148 (2013)
|
Archives | 500 RS SCI |
Dispo. du n° : voir "Lien"
|