|
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 :
|
p.48-55
|
|
Note générale :
|
Bibliographie, schémas.
|
|
Langues:
|
Français
|
|
Descripteurs :
|
démonstration mathématique
|
|
Tags :
|
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
|
