Search for tag: "proofs"

Vladimir Fomichov EVA Talk Preview

This talk has captions. You can remove these by pressing CC on the video toolbar. Name: Vladimir Fomichov Talk Title: Spherical clustering in detection of groups of concomitant extremes Abstract:…

From  Anna Munro on May 25th, 2021 0 likes 15 plays 0  

BMC BAMC 2021 Kevin Buzzard

6-9 April 2021, BMC BAMC 2021 Titled: When Will Computers Prove Theorems? This was a BMC morning talk by Kevin Buzzard (Imperial College London) This session was supported by the Edinburgh…

From  Sophia Martin on April 21st, 2021 0 likes 49 plays 0  

LMS Computer Science Colloquium - Anupam Das (Birmingham)

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Anupam Das (Birmingham) The size of proofs: from…

From  Liam Holligan on November 19th, 2020 0 likes 16 plays 0