Titre : | Coq : les maths ont trouvé leur maître (2013) |
Auteurs : | Philippe Pajot, Auteur |
Type de document : | Article : texte imprimé |
Dans : | Science et Vie (N°1148, Mai 2013) |
Article en page(s) : | P. 110-113 |
Langues: | Français |
Sujets : |
Champion Thesaurus assistance ; contrôle ; démonstration mathématique ; logiciel ; mathématique ; théorème |
Résumé : | "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 !" (Extrait de Science & Vie n°1148) |
Exemplaires (1)
Localisation | Section | Support | Cote de rangement | Statut | Disponibilité |
---|---|---|---|---|---|
Bibliothèque Pédagogique de Champion | Périodiques | Périodique | 5 SCI-V 2013 1148 | Empruntable | Disponible |