Introduction and welcoming word
Apparaît dans la collection : 2014 - T2 - Semantics of proofs and certified mathematics
« Semantics of proofs and certified mathematics » trimester presentation
Mathématiques
et Interactions
00:00:00 / 00:00:00
Informations sur la vidéo
- Date de publication 22/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
