Andrej Bauer: "The countable reals"
1:06:26
Alexandra Silva: "Learning Weighted Automata over Principal Ideal Domains"
57:32
Five Stages of Accepting Constructive Mathematics - Andrej Bauer
18:04
The Amazing Mathematics of the Golden Ratio
33:01
The Man Who Almost Broke Math (And Himself...)
14:00
Ce que l'on ne vous dit pas sur les mathématiques ! | Hugo DUMINIL-COPIN | TEDxSaclay
17:02
Introduction to the Roofline Model
37:30
Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA
19:42