skip to content
 

Your Browser Can Prove Your Lemmas

Presented by: 
Edward Ayers Cantab Capital Institute for the Mathematics of Information
Date: 
Thursday 25th May 2017 - 12:45 to 12:50
Venue: 
INI Seminar Room 1
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons