Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Faire une suggestion 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[...]
