Talk page

Title:
Theorema 2.0: A Brief Introduction and a Case Study in Auction Theory

Speaker:
Wolfgang Windsteiger

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

Workshop:
Fields- Workshop on Algebra, Geometry and Proofs in Symbolic Computation