Gilles Dowek, chercheur et professeur d'informatique à l'Ecole Polytechnique, nous montre les liens entre la démonstration mathématique et l'usage des ordinateurs à l'aide d'un exemple simple, celui des équations diophantiennes.
Vous n'avez pas encore autorisé les cookies requis. Acceptez les cookies nécessaires pour afficher ce contenu (bouton disponible au bas de l'écran)
