| 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. Salle des périodiques | Périodique | Pour la Science 2015 - N° 452 | Empruntable | Disponible |
