skip to content

Your Browser Can Prove Your Lemmas

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