| Titre : | Comment l'informatique change-t-elle les mathématiques ? (2018) |
| Auteurs : | Benoît Rognier, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Revue du palais de la découverte (414, 01/2018) |
| Article : | p.48-55 |
| Note générale : | Bibliographie, schémas. |
| Langues: | Français |
| Descripteurs : | |
| Mots-clés: | application de l'informatique |
| 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 |
CDI Lycée Jeanne d'Arc
Bienvenue sur le portail PMB du CDI du lycée Jeanne d'Arc de Pontivy
Accueil
Se connecter
Adresse
CDI Lycée Jeanne d'Arc6, rue Théodore Botrel
Pontivy
France