Vérifier une preuve : la conférence de Irit Dinur

Tribune

L’une des conférences plénières les plus appréciées par les participants de l’ICM (jusqu’à présent) a été celle de Irit Dinur.

Le 24 août 2010, par Étienne Ghys - 15 commentaires

Voir tous les messages - Retourner à l'article

• Vérifier une preuve : la conférence de Irit Dinur

  le 1er septembre 2010 à 17:59, par Pierre Lescanne

  Sur les démonstrations vérifiables et toujours pour les anglophones, je recommande Probalistically checkable proofs par Madhu Sudan qui s’adresse aussi à un large public. A vrai dire, je n’ai pas lu cet article précis, mais ceux que j’ai lus dans cette rubrique, sur des domaines que je ne connaissais pas, étaient excellents. Dites-moi si je me trompe pour celui-ci.

  N.B. L’accès que je donne peut être restreint. Faites-moi un courriel si vous rencontrez des problèmes.

  Répondre à ce message