基于Analytic Solver分析求解器的Excel优化应用
46:09
基于Analytic Solver分析求解器的Excel优化应用
52 views2 months ago
bilibiliHiJeff数字孪生数学优化
魔角实用数学（第一季）1【软件&教程简介；基础命令；角；公理、公设、基本事实；三角形】
46:19
魔角实用数学（第一季）1【软件&教程简介；基础命令；角；公理、公设 …
1.6K viewsAug 15, 2023
bilibilimathdevil
The unreasonable effectiveness of mathematics in large scale deep learning
59:22
The unreasonable effectiveness of mathematics in large scale deep lear…
999 viewsApr 7, 2023
bilibiliAITIME论道
魔角实用数学（第一季）3【虚线设计；几何代换思想；几何绘制基础命令】
25:55
魔角实用数学（第一季）3【虚线设计；几何代换思想；几何绘制基础命令】
1.3K viewsAug 24, 2023
bilibilimathdevil
Lean
21:30
Lean
Feb 15, 2023
Microsoft
魔角实用数学（第一季）4【复杂几何嵌套；几何并行计算；`跳转`与`远程投掷`等指令】
33:43
魔角实用数学（第一季）4【复杂几何嵌套；几何并行计算；`跳转`与`远 …
1.2K viewsAug 27, 2023
bilibilimathdevil
programming ≠ coding - Leslie Lamport
1:15:46
programming ≠ coding - Leslie Lamport
117 views8 months ago
bilibili弱弱的Erik
26:21
rStar-Math：小型LLM如何通过自我进化深度思考掌握数学推理
4.1K views1 month ago
bilibiliAI论文小小编
29:12
魔角实用数学（第一季）2【内角；外角；多边形；五角星】
1.5K viewsAug 19, 2023
bilibilimathdevil
50:14
优化应用，从Analytic Solver®到RASON® 决策平台
61 views2 months ago
bilibiliHiJeff数字孪生数学优化
41:31
Introduction to Aeroelasticity in Nastran (NX Nastran with Femap)
275 views10 months ago
bilibiliAlongleo
51:21
A Programmatic Induction to SMT with Z3 (Nikolaj Björner)
566 viewsAug 6, 2023
bilibiliant-hengxin
1:14:48
数学的未来
391 viewsSep 9, 2023
bilibili墨子数学研究所
30:33
GCF and LCM
Nov 6, 2020
calcworkshop.com
20:11
【速度计算】纯萌新也看得懂的攻略！超详细！生怕你学不会！！崩铁 …
1.4K views1 month ago
bilibili果果果果汁juice
Static thumbnail place holder