Détail de l'auteur
Auteur Patrick Massot |
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Affiner la recherche Interroger des sources externes
Article : texte imprimé
Le point sur l'intervention des ordinateurs en mathématiques dans la résolution des théorèmes, leur communication et leur enseignement. Face à la complexité des théorèmes, les ordinateurs interviennent comme "assistant de preuve". Plus récemment[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives périodique CDI 036970 Disponible