Search for tag: "theorems"

LAGOON: Amnon Neeman (ANU, Australia)

Subtitles will be added soon. 28 Oct 2021 Amnon Neeman (ANU, Australia): Finite approximations as a tool for studying triangulated categories

From  Liam Holligan 0 likes 23 plays 0  

Takashi Owada EVA Talk Preview

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…

From  Anna Munro 0 likes 20 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 63 plays 0  


This is the first part of the second Inf2d lecture on Resolution.

From  Claudia-Elena Chirita 0 likes 179 plays 0