[CPP'26] Higher order differential calculus in Mathlib
26:11
[CPP'26] Higher order differential calculus in Mathlib
已浏览 50 次3 周前
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 次10 个月之前
YouTubeIsaac Newton Institute for Mathematical Sciences
MathLib - Math functions Library for SystemVerilog (Deepa Palaniappan)
17:09
MathLib - Math functions Library for SystemVerilog (Deepa Palaniappan)
已浏览 350 次2023年9月19日
YouTubeFOSSi Foundation
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
2:17:47
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
已浏览 149 次8 个月之前
YouTubeDipartimento di Matematica UNIBO
Lean theorem prover mathlib
0:09
Lean theorem prover mathlib
2 个月之前
YouTubeShort Hacker News
“AI + Math MIT’s New Frontier in Theorem Proving” 🔢🤖✨
1:00
“AI + Math MIT’s New Frontier in Theorem Proving” 🔢🤖✨
已浏览 1052 次4 个月之前
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 个月之前
YouTubeThe Honest Torus
29:54
Lean Together 2025: Oliver Nash, Root systems and root data in Mat…
已浏览 1386 次2025年1月14日
YouTubeleanprover community
40:19
Lean 4 overview for Mathlib users - Patrick Massot
已浏览 5349 次2023年7月16日
YouTubeleanprover community
24:36
Johan Commelin - The Mathlib Initiative (Lean Together 2026)
已浏览 66 次3 周前
YouTubeleanprover community
8:16
Writing Math Proofs using Lean4 in Visual Studio Code
已浏览 4592 次2022年10月12日
YouTubeChris
31:47
How Mathematicians can Get Started with Lean
已浏览 1.1万 次11 个月之前
YouTubeAlex Kontorovich
3:54
HOW TO USE Matplotlib in 4 MINUTES (2020 Python Tutorial)
已浏览 17.1万 次2020年3月5日
YouTubeKite
43:53
Andrew Yang - Mathlib 里的代数几何
已浏览 715 次9 个月之前
bilibili筑桥者Hagi
1:02:08
Mathlib Community Meeting December 12, 2025
2 个月之前
YouTubeLean FRO
5:43
Installer et Utiliser Mathlib avec Lean 4 dans VS Code (Guide Simp…
已浏览 212 次2024年11月22日
YouTubeVic Help
45:27
MATLAB教学视频：数学建模与数值计算类（合集）
已浏览 4389 次2021年5月12日
bilibiliHeyMATLAB
1:01:10
Jireh Loreaux: Working with Mathlib
已浏览 328 次2024年4月22日
YouTubeCentre International de Rencontres Mathématiq…
19:42
Python也能作图？最新的Matploblib库教学，看完你就知道是赚到了！
已浏览 7920 次2022年5月15日
bilibiliAI大模型-扶摇
10:26
Madlibs Python Tutorial | Beginner Python Project
已浏览 3万 次2022年10月31日
YouTubeKylie Ying
炼数成金 Spark MLlib机器学算法与源码解析 10周课程
已浏览 1139 次2019年8月19日
bilibili智能程序员
20:11
[CPP'26] Formalizing polynomial laws and the universal divided po…
已浏览 1 次3 周前
YouTubeACM SIGPLAN
9:40
INSTALLATION OF MATPLOTLIB LIBRARY || HOW TO INSTALL MA…
已浏览 4.4万 次2021年6月25日
YouTubeSundeep Saradhi Kanthety
9:27
Matplotlib Tutorial 1 - Introduction and Line
已浏览 70.1万 次2015年7月12日
YouTubesentdex
5:34
The Crisis of Modern Math (and the $500m solution)
已浏览 6723 次3 个月之前
YouTubeThe Honest Torus
1:31:41
Matplotlib Crash Course
已浏览 42.6万 次2020年5月7日
YouTubefreeCodeCamp.org
58:13
The AI Impact on Math | with Pr. Nourdin author of Math Research …
已浏览 574 次3 个月之前
YouTubeThe Causal Mindset
1:43:57
《Matlab》1.5小时零基础速成课！含Matlab安装教程/基础功能/运算规则/ …
已浏览 4.3万 次2024年9月27日
bilibili数学建模老哥
0:20
论文如何利用Mathpix和Mathtype快速🔜输入公式#论文#研究生毕业论文#论 …
已浏览 274 次2023年1月13日
bilibili论文辅导君
12:00
吹爆！基于MATLAB的高等数学问题求解全套视频教程，微分方程、代数 …
已浏览 1481 次2023年8月18日
bilibiliCV算法工程师
观看更多视频
静态缩略图占位符