Name: Colloquium : Riccardo Brasca (IMJ) : Autour de la formalisation : pourquoi et comment expliquer des mathématiques à l’ordinateur
Start: 2023-10-10T15:00:00+02:00
End: 2023-10-10T16:00:00+02:00

10 octobre / 15:00 - 16:00

Laboratoire de Mathématiques de Versailles

Archives

Evénement scientifique

octobre 2023

Colloquium : Riccardo Brasca (IMJ) : Autour de la formalisation : pourquoi et comment expliquer des mathématiques à l’ordinateur