Introduction and welcoming word
Appears in collection : 2014 - T2 - Semantics of proofs and certified mathematics
« Semantics of proofs and certified mathematics » trimester presentation
Mathematics
and Interactions
00:00:00 / 00:00:00
Information about the video
- Date of publication 22/04/2014
- Institution IHP
- Licence CC BY-NC-ND
- Format MP4
Domain(s)
Last related questions on MathOverflow
You have to connect your Carmin.tv account with mathoverflow to add questionAsk a question on MathOverflow
Register
- Bookmark videos
- Add videos to see later &
keep your browsing history - Comment with the scientific
community - Get notification updates
for your favorite subjects
