mechanising (graphical) mathematical proofs - computerphile
Published 6 months ago • 24K plays • Length 15:46Download video MP4
Download video MP3
Similar videos
-
18:02
automated mathematical proofs - computerphile
-
17:14
programming with proofs - computerphile
-
9:39
zero knowledge proofs - computerphile
-
0:53
summing powers of 1/8 visually!
-
5:20
the paradox at the heart of mathematics: gödel's incompleteness theorem - marcus du sautoy
-
18:40
the discovery that transformed pi
-
4:30
advice for using manim | grant sanderson and lex fridman
-
0:52
spiral of theodorus
-
0:45
sierpinski from pascal
-
0:50
levy curve from the chaos game
-
0:56
summing squares geometrically
-
0:57
a visual infinite sum like you’ve never seen!
-
0:51
the limit of limiting arguments
-
7:05
diffie hellman -the mathematics bit- computerphile
-
0:42
what’s the area?
-
0:54
e^pi vs pi^e : which is larger? (pi day battle)
-
23:40
the hardest problem in type theory - computerphile
-
0:15
memorization trick for graphing functions part 1 | algebra math hack #shorts #math #school
-
1:00
0.999999… = 1
-
0:55
pythagorean theorem xi (dudeney’s dissection)
-
0:58
0.5555… = 1 (in base 6)
-
0:53
geometry of sums of powers of 1/5