London Mathematical Society
13.5K subscribers
1:21:17
Formalising 21st-Century Mathematics, Lawrence C. Paulson FRS | LMS/BCS-FACS Seminar 2024
London Mathematical Society
617 views • 2 months ago
1:06:14
Utilising Shape in Data, Ulrike Tillmann FRS | LMS
London Mathematical Society
90 views • 2 months ago
52:39
Symmetries of manifolds, Oscar Randal-Williams | LMS
London Mathematical Society
204 views • 2 months ago
1:05:17
The Vampire Journey: building a theorem prover for program verification, Giles Reger | LMS CSC 2023
London Mathematical Society
197 views • 2 months ago
54:29
Automated Reasoning at AWS, and Applications in Cryptography, Rod Chapman | LMS CS Colloquium 2023
London Mathematical Society
160 views • 2 months ago
59:36
Perspectives on the formalisation of maths, Angeliki Koutsoukou-Argyraki | LMS CS Colloquium 2023
London Mathematical Society
87 views • 2 months ago
53:41
Verification of control software for robots that learn, Ana Cavalcanti | LMS CS Colloquium 2023
London Mathematical Society
71 views • 2 months ago
1:01:58
Ivanov's metaconjecture: encoding symmetries of surfaces, Tara Brendle | LMS Mary Cartwright Lecture
London Mathematical Society
132 views • 5 months ago
1:04:16
Reconstruction problems in mathematics, Dan Margalit | LMS Mary Cartwright Lecture
London Mathematical Society
191 views • 5 months ago
55:31
The space of functions computed by deep-learning networks, David Saad | LMS/IMA Joint Meeting 2023
London Mathematical Society
180 views • 5 months ago
1:01:30
Physics-inspired graph neural networks, Michael Bronstein | LMS/IMA Joint Meeting 2023
London Mathematical Society
401 views • 5 months ago
55:45
Differential equations for machine learning, Lisa Kreusser | LMS/IMA Joint Meeting 2023
London Mathematical Society
146 views • 5 months ago
49:05
Reliable AI: Successes, challenges, and limitations, Gitta Kutyniok | LMS/IMA Joint Meeting 2023
London Mathematical Society
204 views • 5 months ago
53:51
Capturing computation with algorithmic alignment, Petar Veličković | LMS/IMA Joint Meeting 2023
London Mathematical Society
212 views • 5 months ago
1:04:56
Combinatorics of Conway-Coxeter frieze patterns, Sophie Morier-Genoud | LMS Summer School (3/4)
London Mathematical Society
128 views • 8 months ago
1:02:36
Coagulation-Fragmentation Equations, Michael Grinfeld | LMS Summer School
London Mathematical Society
162 views • 8 months ago
52:13
Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (2/5)
London Mathematical Society
100 views • 8 months ago
53:22
Can one see the forest without losing sight of the trees?, Tobias Kuna | LMS Summer School (2/4)
London Mathematical Society
44 views • 8 months ago
58:47
Combinatorics of Young tableaux and symmetric groups, Sarah Whitehouse | LMS Summer School (2/4)
London Mathematical Society
145 views • 8 months ago
58:27
Tropical geometry: Algebra, geometry and combinatorics, Felipe Rincon | LMS Summer School
London Mathematical Society
161 views • 8 months ago
1:01:47
Net of Conics, Vanya Cheltsov | LMS Summer School (4/5)
London Mathematical Society
77 views • 8 months ago
56:21
Net of Conics, Vanya Cheltsov | LMS Summer School (1/5)
London Mathematical Society
64 views • 8 months ago
1:04:12
Combinatorics of Young tableaux and symmetric groups, Sarah Whitehouse | LMS Summer School (4/4)
London Mathematical Society
110 views • 8 months ago
1:00:03
Combinatorics of Conway-Coxeter frieze patterns, Sophie Morier-Genoud | LMS Summer School (1/4)
London Mathematical Society
106 views • 8 months ago
51:37
Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (3/5)
London Mathematical Society
78 views • 8 months ago
1:16:35
Countability, groups, subgroups and finiteness properties, Ian Leary | LMS Summer School
London Mathematical Society
96 views • 8 months ago
1:04:16
Net of Conics, Vanya Cheltsov | LMS Summer School (3/5)
London Mathematical Society
34 views • 8 months ago
50:36
Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (1/5)
London Mathematical Society
79 views • 8 months ago
49:42
Monte Carlo simulations of anomalous random walks, Enrico Scalas | LMS Summer School (4/5)
London Mathematical Society
116 views • 8 months ago
55:56
Markov numbers and the free group on two generators, Caroline Series | LMS Summer School
London Mathematical Society
126 views • 8 months ago
Load More