About 21 results for "UCvp7jsbXjx2k8sGEkdtWCAw"

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

London Mathematical Society • Mar 1, 2024

Einstein's Amazing Theory of Gravity: Black Holes and Novel Ideas in Cosmology, Roger Penrose | LMS

London Mathematical Society • Jul 8, 2016

Clutching at Random Straws, Matt Parker | LMS Popular Lectures 2010

London Mathematical Society • Jan 26, 2015

Toy models, Tadashi Tokieda | LMS Popular Lectures 2008

London Mathematical Society • Jul 8, 2014