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 0 likes 17 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  Jane Walker 0 likes 56 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 0 likes 18 plays 0