Interactive Coding for Interactive Proofs
Appears in collection : 2016 - T1 - WS1 - Distributed computation and communication theme
Mathematics
and Interactions
00:00:00 / 00:00:00
Information about the video
- Date of recording 08/02/2016
- Date of publication 25/02/2016
- Institution IHP
- Licence CC BY-NC-ND
- Language English
- Format MP4
Domain(s)
MSC codes
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
