Search for tag: "definition"

December 09 Xuhua He Total positivity and its generalization

An automated programme has been used to generate the subtitles on this talk.

From  ALASDAIR SPRATT on December 9th, 2020 0 likes 21 plays 0  

Phil Methods 1 - Week 11 - Part 2

Enabling vs. Constitutive

From  Dave Ward on November 30th, 2020 0 likes 16 plays 0  

November 25 Lucas Mason-Brown What is a unipotent representation

An automated programme has been used to generate the subtitles on this talk.

From  ALASDAIR SPRATT on November 26th, 2020 0 likes 61 plays 0  

Jean-Simon Lemay (University of Oxford) : The Theory of Differential Categories. (session 3)

Jean-Simon Lemay (University of Oxford) : The Theory of Differential Categories.Abstract: The theory of differential categories uses category theory to study the foundations of differentiation.…

From  OLLIE Quinn on November 25th, 2020 0 likes 14 plays 0  

CL - 14d - Regular Languages (II)

We give a second definition of regular language as the languages generated from the empty and singleton languages by the operations of, concatenation, alternation, and iteration.

From  Haoran Peng on November 20th, 2020 0 likes 156 plays 0  

LAGOON: Leicester Algebra and Geometry Open ONline - John Greenlees (Warwick, UK)

Subtitles can be turned off by clicking "cc" then selecting "off".

From  Liam Holligan on November 19th, 2020 0 likes 27 plays 0  

CL - 14c - Regular Languages (I)

We give a first definition of regular language as a language that is accepted by some FSM.

From  Haoran Peng on November 18th, 2020 0 likes 253 plays 0  

Jean-Simon Lemay Cartesian differential categories.

This lecture series ‘category theory and its applications’ is linked to the LMS funded Yorshire and Midlands Category Seminar (YaMCATS) network.This lecture series consists of two topics…

From  OLLIE Quinn on November 18th, 2020 0 likes 10 plays 0  

CL - 13c - Machines in Haskell

In this video we formalise the definition of an FSM, describe how a machine and its behaviour may be represented in Haskell.In this video we use lists to represent the sets used in the mathematical…

From  Haoran Peng on November 17th, 2020 0 likes 332 plays 0  

11 November Alexandre Minets KLR and Schur algebras for curves and semi-cuspidal representations

ICMS An automated programme has been used to generate the subtitles on this talk.

From  ALASDAIR SPRATT on November 12th, 2020 0 likes 46 plays 0  

FP - Lecture 14 - Type Classes

This is the video for the FP lecture on Type Classes.

From  Claudia-Elena Chirita on November 8th, 2020 0 likes 339 plays 0  

M Fairon Title:Quantum integrability for finite-dimensional Hamiltonian systems.

Thursday 29 October Speaker: Maxime Fairon, (University of Glasgow)Title:Quantum integrability for finite-dimensional Hamiltonian systems.LMS Introduction to Integrability Lecture SeriesThis is a…

From  OLLIE Quinn on October 29th, 2020 0 likes 61 plays 0