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