[CPP'26] Higher order differential calculus in Mathlib
26:11
[CPP'26] Higher order differential calculus in Mathlib
50 views2 weeks ago
YouTubeACM SIGPLAN
#60 Exploring 'Mathlib' and the digitisation of mathematics: an interview with Professor Kevin Bu...
55:36
#60 Exploring 'Mathlib' and the digitisation of mathematics: an int…
493 views10 months ago
YouTubeIsaac Newton Institute for Mathematical Sciences
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
2:17:47
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
64 views8 months ago
YouTubeDipartimento di Matematica UNIBO
Lean theorem prover mathlib
0:09
Lean theorem prover mathlib
2 months ago
YouTubeShort Hacker News
Lean 4 overview for Mathlib users - Patrick Massot
40:19
Lean 4 overview for Mathlib users - Patrick Massot
5.3K viewsJul 16, 2023
YouTubeleanprover community
“AI + Math MIT’s New Frontier in Theorem Proving” 🔢🤖✨
1:00
“AI + Math MIT’s New Frontier in Theorem Proving” 🔢🤖✨
1.1K views3 months ago
YouTubeZeno Orbit
Free lean 4 tool that understands how natural language proofs interact with Mathlib!
0:32
Free lean 4 tool that understands how natural language proofs inter…
3 months ago
YouTubeThe Honest Torus
29:54
Lean Together 2025: Oliver Nash, Root systems and root data in Mat…
1.4K viewsJan 14, 2025
YouTubeleanprover community
3:54
HOW TO USE Matplotlib in 4 MINUTES (2020 Python Tutorial)
167.1K viewsMar 5, 2020
YouTubeKite
8:16
Writing Math Proofs using Lean4 in Visual Studio Code
4.6K viewsOct 12, 2022
YouTubeChris
31:47
How Mathematicians can Get Started with Lean
10.9K views11 months ago
YouTubeAlex Kontorovich
43:53
Andrew Yang - Mathlib 里的代数几何
709 views8 months ago
bilibili筑桥者Hagi
1:02:08
Mathlib Community Meeting December 12, 2025
1 month ago
YouTubeLean FRO
5:43
Installer et Utiliser Mathlib avec Lean 4 dans VS Code (Guide Simp…
212 viewsNov 22, 2024
YouTubeVic Help
1:01:10
Jireh Loreaux: Working with Mathlib
328 viewsApr 22, 2024
YouTubeCentre International de Rencontres Mathématiq…
45:27
MATLAB教学视频：数学建模与数值计算类（合集）
4.4K viewsMay 12, 2021
bilibiliHeyMATLAB
9:40
INSTALLATION OF MATPLOTLIB LIBRARY || HOW TO INSTALL MA…
44.4K viewsJun 25, 2021
YouTubeSundeep Saradhi Kanthety
10:26
Madlibs Python Tutorial | Beginner Python Project
29.8K viewsOct 31, 2022
YouTubeKylie Ying
20:11
[CPP'26] Formalizing polynomial laws and the universal divided po…
1 views2 weeks ago
YouTubeACM SIGPLAN
9:27
Matplotlib Tutorial 1 - Introduction and Line
700.8K viewsJul 12, 2015
YouTubesentdex
19:42
Python也能作图？最新的Matploblib库教学，看完你就知道是赚到了！
7.9K viewsMay 15, 2022
bilibiliAI大模型-扶摇
炼数成金 Spark MLlib机器学算法与源码解析 10周课程
1.1K viewsAug 19, 2019
bilibili智能程序员
1:31:41
Matplotlib Crash Course
426.3K viewsMay 7, 2020
YouTubefreeCodeCamp.org
5:34
The Crisis of Modern Math (and the $500m solution)
6.7K views3 months ago
YouTubeThe Honest Torus
2:37
How To Install Matplotlib In PyCharm
73.1K viewsJun 9, 2021
YouTubeStudySession
58:13
The AI Impact on Math | with Pr. Nourdin author of Math Research …
574 views3 months ago
YouTubeThe Causal Mindset
16:33
Aristotle: IMO-level Automated Theorem Proving
192 views4 months ago
YouTubeAI Papers Podcast Daily
1:43:57
《Matlab》1.5小时零基础速成课！含Matlab安装教程/基础功能/运算规则/ …
42.8K viewsSep 27, 2024
bilibili数学建模老哥
0:20
论文如何利用Mathpix和Mathtype快速🔜输入公式#论文#研究生毕业论文#论 …
274 viewsJan 13, 2023
bilibili论文辅导君
12:00
吹爆！基于MATLAB的高等数学问题求解全套视频教程，微分方程、代数 …
1.5K viewsAug 18, 2023
bilibiliCV算法工程师
See more videos
Static thumbnail place holder