Bernard Chazelle
Informatique et sciences numériques
Année 2012-2013
L'algorithmique et les sciences
Quatrième cours
Deuxième cours : Les preuves interactives et l'épistémologie algorithmique