Joseph Tooby-Smith - VideoAndMovie

PhysLean: Repository organization

4:11

PhysLean: Repository organization

PhysLean: The two state canonical ensemble in Lean

39:58

PhysLean: The two state canonical ensemble in Lean

PhysLean: Questions and answers about the project

15:11

PhysLean: Questions and answers about the project

Interactive theorem provers and mathematics

1:04:38

Interactive theorem provers and mathematics

Digitalizing the twin paradox

11:09

Digitalizing the twin paradox

PhysLean: Getting involved

7:55

PhysLean: Getting involved

HepLean: The two Higgs doublet Model

30:48

HepLean: The two Higgs doublet Model

Lean: Lorentz Algebra Proof

44:04

Lean: Lorentz Algebra Proof

HepLean: Lean and high energy physics

27:24

HepLean: Lean and high energy physics

Smooth Genearlized Symmetries of Quantum Field Theories - Joseph Tooby-Smith

58:31

Smooth Genearlized Symmetries of Quantum Field Theories - Joseph Tooby-Smith

Research Summary Nov 2023 - Joseph Tooby-Smith

7:50

Research Summary Nov 2023 - Joseph Tooby-Smith

Research Summary 2023 - Joseph Tooby-Smith

11:09

Research Summary 2023 - Joseph Tooby-Smith

Symmetries of Field Theories - Tooby-Smith

39:07

Symmetries of Field Theories - Tooby-Smith

Flatland: abelian extensions of the Standard Model with semi-simple completions - Tooby-Smith

3:44

Flatland: abelian extensions of the Standard Model with semi-simple completions - Tooby-Smith

A Study of GUTs

46:09

A Study of GUTs

PhD Elevator pitch

2:42

PhD Elevator pitch

Inverse Higgs 'Constraints' - Tooby-Smith

48:46

Inverse Higgs 'Constraints' - Tooby-Smith

Solving the anomaly equations - Tooby-Smith - BSM PANDEMIC

33:14

Solving the anomaly equations - Tooby-Smith - BSM PANDEMIC