johan commelin | breaking the one-mind-barrier in mathematics using formal verification
Published 2 years ago • 371 plays • Length 1:06:27Download video MP4
Download video MP3
Similar videos
-
59:35
johan commelin: "breaking the one-mind-barrier in mathematics using formal verification"
-
13:31
one awesome inequality
-
28:11
one eilenberg theorem to rule them all
-
![jeffrey vaaler: schinzel's determinant inequality and a conjecture of [...] (ntws 130)](https://i.ytimg.com/vi/q06WyocDRA8/mqdefault.jpg)
49:40
jeffrey vaaler: schinzel's determinant inequality and a conjecture of [...] (ntws 130)
-
5:15
the high schooler who solved a prime number theorem
-
4:49
noam chomsky - language and thought
-
2:01:54
noam chomsky - foundations of world order: the un, world bank, imf & decl. human rights 1999
-
1:04:03
under- or over-connected?
-
48:37
daniel bates (us naval academy)
-
2:49
cbrain: brain data for all – alan evans, mcgill university
-
1:34:25
math and machine learning program 10/15/24 | tutorial on the lean theorem prover
-
1:15:15
round table on open problems in non-equilibrium statistical physics... - michael aizenmann
-
2:57
igor balnozan, unsw
-
45:42
20nov20 distinguishedtutte beyond rank jordanellenberg pt2
-
20:21
20nov20 distinguished tutte beyond rank_jordan ellenberg pt1
-
4:42
it's time for an academic reset
-
10:25
john berman research summary 2020
-
1:05:59
pablo soberón on tverberg-type results, weak epsilonnets and the probabilistic method
-
1:41:11
the final question?: global realignments & prospects for a livable world
-
15:21
understanding vision book: chap 3/4, efficient coding, 31: problems with v1