24 août 2010

15 messages - Retourner à l'article

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:47, par Pierre Lescanne

    Sur les preuves formelles en général, ceux qui lisent l’anglais peuvent lire Formal proof : theory and practice de Jim Harrison, qui est article pour un large public.

    Répondre à ce message
Pour participer à la discussion merci de vous identifier : Si vous n'avez pas d'identifiant, vous pouvez vous inscrire.

Actualités des maths