Accueil
| Titre : | Comment l'informatique change-t-elle les mathématiques ? (2018) |
| Auteurs : | Benoît Rognier, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Découverte (Paris. 1999) (414, 01/2018) |
| Article en page(s) : | p.48-55 |
| Note générale : | Bibliographie, schémas. |
| Langues: | Français |
| Tags : | application de l'informatique / démonstration mathématique |
| Résumé : | Le point sur l'utilisation de programmes informatiques dans certaines activités mathématiques : la possibilité de la démonstration de théorèmes par un ordinateur si la démonstration est transformée en un problème calculatoire ; la démarche de l'encodage ; la démonstration assistée par ordinateur, l'encodage géométrique, les méthodes algébriques de résolution de systèmes polynomiaux ; la vérification automatique d'une démonstration ; comment la compilation d'un langage de programmation peut valider une démonstration ; les applications pratiques de l'encodage et des démonstrations automatiques. |
| Nature du document : | Documentaire |
| Genre : | Article de périodique |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 019832 | Périodique | Périodique | CDI | Espace "Presse" (boîtes d'archives) | Disponible |
