Rognier Benoît.
« Comment l'informatique change-t-elle les mathématiques ? »
in Découverte (Paris. 1999), 414 (01/2018), p.48-55.
|
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 de la publication :
|
Français
|
|
Mots-clés :
|
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 :
|
Article de périodique
|
