Qu'est-ce qu'une réponse ? (l'analytique) 1/3
Apparaît dans la collection : 2014 - T2 - Semantics of proofs and certified mathematics
IHP thematic trimester : Semantics of proofs and certified mathematics 24/04/2014
Mathématiques
et Interactions
00:00:00 / 00:00:00
Informations sur la vidéo
- Date de captation 24/04/2014
- Date de publication 24/04/2014
- Institut IHP
- Licence CC BY-NC-ND
- Format MP4
Domaine(s)
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
