[article]
Titre : |
Coq : les maths ont trouvé leur maître |
Type de document : |
texte imprimé |
Auteurs : |
Philippe Pajot, Auteur |
Editeur : |
Excelsior publications, 2013 |
Article : |
p.110-113 |
Langues : |
Français (fre) |
in La Science et la vie (Paris) > 1148 (05/2013)
Descripteurs : |
démonstration mathématique / logiciel
|
Résumé : |
Enquête sur le logiciel Coq permettant de vérifier lexactitude des théorèmes mathématiques : retour sur le fonctionnement de ce programme informatique capable de vérifier les raisonnements ; historique de ce travail de preuves à partir du théorème de Feit-Thompson ; précisions sur le développement et le potentiel dutilisation de cet assistant informatique de preuves. |
Nature du document : |
documentaire |
Genre : |
Article de périodique/Enquête, reportage |
[article] Coq : les maths ont trouvé leur maître [texte imprimé] / Philippe Pajot, Auteur . - Excelsior publications, 2013 . - p.110-113. Langues : Français ( fre) in La Science et la vie (Paris) > 1148 (05/2013)
Descripteurs : |
démonstration mathématique / logiciel
|
Résumé : |
Enquête sur le logiciel Coq permettant de vérifier lexactitude des théorèmes mathématiques : retour sur le fonctionnement de ce programme informatique capable de vérifier les raisonnements ; historique de ce travail de preuves à partir du théorème de Feit-Thompson ; précisions sur le développement et le potentiel dutilisation de cet assistant informatique de preuves. |
Nature du document : |
documentaire |
Genre : |
Article de périodique/Enquête, reportage |
| ![Coq : les maths ont trouvé leur maître vignette](https://lyceeretiers.basecdi.fr/pmb/opac_css/getimage.php?url_image=https%3A%2F%2Fimages-eu.ssl-images-amazon.com%2Fimages%2FP%2F%21%21isbn%21%21.08.MZZZZZZZ.jpg%3Bhttps%3A%2F%2Fpictures.abebooks.com%2Fisbn%2F%21%21isbn%21%21-fr-300.jpg¬icecode=&entity_id=&vigurl=http%3A%2F%2Fwww.contact-telephone.com%2Fwp-content%2Fuploads%2F2014%2F06%2Fscience-vie.jpg) |