| 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) |
| Langues de la publication : | Français |
| Descripteurs |
[UNESCO] application de l'informatique [UNESCO] 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. |
| Note de contenu : | Bibliographie, schémas. |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 599 | PER | Périodique | CDI | CDI- rdc | Disponible |