Talk page

Title:
A Crash Course on Fast Interactive Proofs

Speaker:
Justin Thaler

Link:
https://video-archive.fields.utoronto.ca/view/4296

Workshop:
Fields- Workshop on Linear Computer Algebra and Symbolic-Numeric Computation