|
Bundles and Conformal Blocks with a Twist Rigid local Systems and the Multiplicative Eigenvalue Problem Prakash Belkale (University of North Carolina at Chapel Hill) 13 June, 2022
Licence Type
All rights reserved Language
English Date Created
June 13th, 2022
|
|
Importing rectangular data into R using the GUI.
Course Code
MATH08077 Publisher
Edinburgh University Licence Type
Creative Commons - Attribution Share A Like Language
English Date Created
October 11th, 2021
|
|
Applied matrix positivity Christian Berg A unified view of covariance functions through Gelfand pairs This recording is in the process of being subtitled. Subtitles will be available in due course.
Licence Type
All rights reserved Language
English Date Created
July 19th, 2021
|
|
Stable diffeomorphism Mark Powell (Durham University) Manifolds and K-theory: the legacy of Andrew Ranicki online workshop 21 - 25 Jun 2021 To remove the captions from this video press CC on the…
Licence Type
All rights reserved Language
english Date Created
July 9th, 2021
|
|
This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.This lecture introduces a very important…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We derive the implication rule using the rules introduced last week.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We use the rules to reduce a sequent to a conjunction of simpler
sequents. In this example we find that the expression asserted by the
sequent is a tautology — it is equivalent to the empty…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We use the rules to reduce a sequent to a conjunction of simple
sequents, sequents that only mentions propositional letters, with no
connectives, and no repetitions — in this example, we…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We interpret additional predicates before the turnstile. These simply
express validity in a sub-universe. This means that for any sound rule
the corresponding rule with additional predicates is…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
The following videos introduce sequents, a far-reaching
generalisation of the idea underlying Aristotle's propositions. We have
already discussed the introduction of multiple antecedents…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|