| Titre : | Coq : les maths ont trouvé leur maître (2013) |
| Auteurs : | Philippe Pajot, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Science & vie (1148, 05/2013) |
| Article : | p.110-113 |
| Langues: | Français |
| Descripteurs : | démonstration mathématique / logiciel |
| Résumé : | Enquête sur le logiciel Coq permettant de vérifier l’exactitude 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 d’utilisation de cet assistant informatique de preuves. |
| Nature du document : | documentaire |
| Genre : | Article de périodique/Enquête, reportage |
Annie Le Guennec & Fabienne Dubost ______ CDI Saint-François-Xavier
Bienvenue sur le portail PMB du CDI du Collège-Lycée-Prépa Saint-François-Xavier Vannes
Accueil
Adresse
Annie Le Guennec & Fabienne Dubost ______ CDI Saint-François-Xavier3 rue Thiers
56000
Vannes FRANCE
02 97 47 12 80 cdisfx.vannes@wanadoo.fr
contact