[article]
|
"L'informatique renouvelle les mathématiques"
de Gérard Berry, Philippe Pajot
In Les Dossiers de la recherche, 046 (12/2011), p.10-13
Entretien, en 2011, avec l'informaticien Gérard Berry qui présente le lien entre informatique et mathématiques et l'apport de l'ordinateur aux mathématiques pures. Encadré : la preuve assistée par ordinateur.
|
|  |