Gilles Dowek

Conférence de Gilles Dowek

 

 

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.