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.
Category
🤖
Technologie