Documents disponibles écrits par cet auteur

Comment l'informatique change-t-elle les mathématiques ? / Benoît Rognier / Palais de la Découverte - 01/2018 in Découverte (Paris. 1999), 414 (01/2018)

Aucun avis sur cette notice. [article]  inDécouverte (Paris. 1999) > 414 (01/2018) . - p.48-55 Titre : Comment l'informatique change-t-elle les mathématiques ? Auteurs : Benoît Rognier, Auteur Editeur : Palais de la Découverte, 01/2018 Article : p.48-55 Note générale : Bibliographie, schémas. Langues : Français (fre)   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. Descripteurs : démonstration mathématique Mots-clés : application de l'informatique Type : texte imprimé  ;  documentaire Genre : article de périodique [article]

Réservation

Réserver ce document

Exemplaires

Cote	Section	Localisation	Code-barres	Disponibilité
Archives	4. Périodiques	Documentaires	019746	Disponible