Interactive Coding for Interactive Proofs
Apparaît dans la collection : 2016 - T1 - WS1 - Distributed computation and communication theme
Mathématiques
et Interactions
00:00:00 / 00:00:00
Informations sur la vidéo
- Date de captation 08/02/2016
- Date de publication 25/02/2016
- Institut IHP
- Licence CC BY-NC-ND
- Langue Anglais
- Format MP4
Domaine(s)
Codes MSC
Dernières questions liées sur MathOverflow
Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflowPoser une question sur MathOverflow
Inscrivez-vous
- Mettez des vidéos en favori
- Ajoutez des vidéos à regarder plus tard &
conservez votre historique de consultation - Commentez avec la communauté
scientifique - Recevez des notifications de mise à jour
de vos sujets favoris
