• il y a 14 ans
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.

Recommandations