Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
trié(s) par Date de création (Date de création décroissant(e)) 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[...]
