|
Subtitles will be added soon. 28 Oct 2021 Amnon Neeman (ANU, Australia): Finite approximations as a tool for studying triangulated categories
Publisher
Liam Holligan Licence Type
All rights reserved Language
English Date Created
October 28th, 2021
|
|
This talk has captions. You can remove these by pressing CC on the video toolbar. Name: Takashi Owada Talk Title: Convergence of persistence diagram in the subcritical regime Abstract: The…
Licence Type
All rights reserved Language
English
|
|
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…
Licence Type
All rights reserved Language
English Date Created
April 7th, 2021
|
|
This is the first part of the second Inf2d lecture on Resolution.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|