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:…
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…
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…
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.
Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.