formalising 21st-century mathematics, lawrence c. paulson frs | lms/bcs-facs seminar 2024
Published 5 months ago • 786 plays • Length 1:21:17Download video MP4
Download video MP3
Similar videos
-
33:34
formalising advanced mathematics in isabelle/hol
-
9:14
the surprising beauty of mathematics | jonathan matte | tedxgreensfarmsacademy
-
10:24
the shaw prize in mathematical sciences 2005
-
1:33:20
ole skovsmose - "critical mathematics education" book launch (with paul ernest)
-
40:55
glen j. culler, "mathematical laboratories—a new power for the physical and social sciences"
-
11:55
the shaw prize in mathematical sciences 2023 (with english subtitle)
-
1:40:40
the shaw prize lecture in mathematical sciences 2021
-
9:56
can you find the missing side lengths of the triangle? | (justify) |#math #maths | #geometry
-
1:24
place value: tens and ones
-
1:16:02
eugene dynkin: seventy years in mathematics
-
1:37:30
the shaw prize lecture in mathematical science 2007