-
Colloquium : Riccardo Brasca (IMJ) : Autour de la formalisation : pourquoi et comment expliquer des mathématiques à l’ordinateur
Colloquium : Riccardo Brasca (IMJ) : Autour de la formalisation : pourquoi et comment expliquer des mathématiques à l’ordinateur
La formalisation est un processus qui consiste à utiliser l'ordinateur non pas pour calculer mais pour raisonner. Il est en train de devenir un outil puissant pour aider les mathématiciens et mathématiciennes dans leur travail de recherche. En effet, il