ViewTube

ViewTube
Sign inSign up

Sort by

Newest

Oldest

Popular

Formalising 21st-Century Mathematics, Lawrence C. Paulson FRS | LMS/BCS-FACS Seminar 2024
01:21:17
Formalising 21st-Century Mathematics, Lawrence C. Paulson FRS | LMS/BCS-FACS Seminar 2024

638 views

2 months ago

Utilising Shape in Data, Ulrike Tillmann FRS | LMS
01:06:14
Utilising Shape in Data, Ulrike Tillmann FRS | LMS

90 views

2 months ago

Symmetries of manifolds, Oscar Randal-Williams | LMS
52:39
Symmetries of manifolds, Oscar Randal-Williams | LMS

204 views

2 months ago

The Vampire Journey: building a theorem prover for program verification, Giles Reger | LMS CSC 2023
01:05:17
The Vampire Journey: building a theorem prover for program verification, Giles Reger | LMS CSC 2023

211 views

2 months ago

Automated Reasoning at AWS, and Applications in Cryptography, Rod Chapman | LMS CS Colloquium 2023
54:29
Automated Reasoning at AWS, and Applications in Cryptography, Rod Chapman | LMS CS Colloquium 2023

165 views

2 months ago

Perspectives on the formalisation of maths, Angeliki Koutsoukou-Argyraki | LMS CS Colloquium 2023
59:36
Perspectives on the formalisation of maths, Angeliki Koutsoukou-Argyraki | LMS CS Colloquium 2023

87 views

2 months ago

Verification of control software for robots that learn, Ana Cavalcanti | LMS CS Colloquium 2023
53:41
Verification of control software for robots that learn, Ana Cavalcanti | LMS CS Colloquium 2023

71 views

2 months ago

Ivanov's metaconjecture: encoding symmetries of surfaces, Tara Brendle | LMS Mary Cartwright Lecture
01:01:58
Ivanov's metaconjecture: encoding symmetries of surfaces, Tara Brendle | LMS Mary Cartwright Lecture

134 views

5 months ago

Reconstruction problems in mathematics, Dan Margalit | LMS Mary Cartwright Lecture
01:04:16
Reconstruction problems in mathematics, Dan Margalit | LMS Mary Cartwright Lecture

193 views

5 months ago

The space of functions computed by deep-learning networks, David Saad | LMS/IMA Joint Meeting 2023
55:31
The space of functions computed by deep-learning networks, David Saad | LMS/IMA Joint Meeting 2023

181 views

6 months ago

Physics-inspired graph neural networks, Michael Bronstein | LMS/IMA Joint Meeting 2023
01:01:30
Physics-inspired graph neural networks, Michael Bronstein | LMS/IMA Joint Meeting 2023

406 views

6 months ago

Differential equations for machine learning, Lisa Kreusser | LMS/IMA Joint Meeting 2023
55:45
Differential equations for machine learning, Lisa Kreusser | LMS/IMA Joint Meeting 2023

146 views

6 months ago

Reliable AI: Successes, challenges, and limitations, Gitta Kutyniok | LMS/IMA Joint Meeting 2023
49:05
Reliable AI: Successes, challenges, and limitations, Gitta Kutyniok | LMS/IMA Joint Meeting 2023

205 views

6 months ago

Capturing computation with algorithmic alignment, Petar Veličković | LMS/IMA Joint Meeting 2023
53:51
Capturing computation with algorithmic alignment, Petar Veličković | LMS/IMA Joint Meeting 2023

216 views

6 months ago

Combinatorics of Conway-Coxeter frieze patterns, Sophie Morier-Genoud | LMS Summer School (3/4)
01:04:56
Combinatorics of Conway-Coxeter frieze patterns, Sophie Morier-Genoud | LMS Summer School (3/4)

128 views

8 months ago

Coagulation-Fragmentation Equations, Michael Grinfeld | LMS Summer School
01:02:36
Coagulation-Fragmentation Equations, Michael Grinfeld | LMS Summer School

163 views

8 months ago

Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (2/5)
52:13
Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (2/5)

100 views

8 months ago

Can one see the forest without losing sight of the trees?, Tobias Kuna | LMS Summer School (2/4)
53:22
Can one see the forest without losing sight of the trees?, Tobias Kuna | LMS Summer School (2/4)

45 views

8 months ago

Combinatorics of Young tableaux and symmetric groups, Sarah Whitehouse | LMS Summer School (2/4)
58:47
Combinatorics of Young tableaux and symmetric groups, Sarah Whitehouse | LMS Summer School (2/4)

145 views

8 months ago

Tropical geometry: Algebra, geometry and combinatorics, Felipe Rincon | LMS Summer School
58:27
Tropical geometry: Algebra, geometry and combinatorics, Felipe Rincon | LMS Summer School

162 views

8 months ago

Net of Conics, Vanya Cheltsov | LMS Summer School (4/5)
01:01:47
Net of Conics, Vanya Cheltsov | LMS Summer School (4/5)

77 views

8 months ago

Net of Conics, Vanya Cheltsov | LMS Summer School (1/5)
56:21
Net of Conics, Vanya Cheltsov | LMS Summer School (1/5)

64 views

8 months ago

Combinatorics of Young tableaux and symmetric groups, Sarah Whitehouse | LMS Summer School (4/4)
01:04:12
Combinatorics of Young tableaux and symmetric groups, Sarah Whitehouse | LMS Summer School (4/4)

110 views

8 months ago

Combinatorics of Conway-Coxeter frieze patterns, Sophie Morier-Genoud | LMS Summer School (1/4)
01:00:03
Combinatorics of Conway-Coxeter frieze patterns, Sophie Morier-Genoud | LMS Summer School (1/4)

108 views

8 months ago

Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (3/5)
51:37
Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (3/5)

79 views

8 months ago

Countability, groups, subgroups and finiteness properties, Ian Leary | LMS Summer School
01:16:35
Countability, groups, subgroups and finiteness properties, Ian Leary | LMS Summer School

96 views

8 months ago

Net of Conics, Vanya Cheltsov | LMS Summer School (3/5)
01:04:16
Net of Conics, Vanya Cheltsov | LMS Summer School (3/5)

34 views

8 months ago

Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (1/5)
50:36
Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (1/5)

81 views

8 months ago

Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (4/5)
49:42
Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (4/5)

117 views

8 months ago

Markov numbers and the free group on two generators, Caroline Series | LMS Summer School
55:56
Markov numbers and the free group on two generators, Caroline Series | LMS Summer School

127 views

8 months ago

Show more