Titre : | Comment vérifier les longues démonstrations ? (2015) |
Auteurs : | Jean-Paul Delahaye |
Type de document : | Article : texte imprimé |
Dans : | Pour la science (N°452, Juin 2015) |
Article en page(s) : | p. 78-83 |
Langues: | Français |
Sujets : |
Bastogne erreur ; informatique ; mathématique ; mathématique (démonstration) ; ordinateur ; preuve |
Résumé : | En mathématiques, certaines démonstrations font plusieurs centaines de pages, voire plus. Comment s'assurer qu'elles sont dépourvues de toute erreur ? L'ordinateur devient dans ce domaine un précieux assistant. |
Exemplaires (2)
Localisation | Section | Support | Cote de rangement | Statut | Disponibilité |
---|---|---|---|---|---|
Bibliothèque Pédagogique de Champion | Périodiques | Périodique | 5 POU 2015 452 | Empruntable | Disponible |
Centre multimédia - Bastogne | B. 2e étage Salle des périodiques | Périodique | Pour la Science 2015 - N° 452 | Empruntable | Disponible |