V
主页
【2021 Wolfram 技术大会】Mathematica 与 Lean 的双向可拓展交互
发布人
我们介绍一个 Mathematica 与定理证明器 Lean 的双向可拓展交互连接。该连接通过翻译两个系统中的语法使得用户能够在两个系统交换任意信息。作为应用,我们介绍如何使用 Lean 的元编程来验证 Mathematica 的计算,以及使用 Mathematica 来引导在 Lean 中的证明。另一方面,我们演示如何在 Mathematica 中浏览和搜索 Lean 的定理库。
打开封面
下载高清视频
观看高清视频
视频下载器
【2021 Wolfram 技术大会】让几何表达式和 Mathematica 一起玩耍
【2021 Wolfram 技术大会】Mathematica 图形图像语言及最新功能
Wolfram Mathematica 在高校教学和科研工作中的若干应用 - 王衍伟博士
【2021 Wolfram 技术大会】Mathematica 助力一流本科课程建设
表达式1:一切皆为表达式!——Wolfram语言底层逻辑
【2021 Wolfram 技术大会】Mathematica 极限拓宽高中物理的世界
【Wolfram U 课程系列中文字幕】【Modelica建模】1、Modelica 建模入门
【Wolfram 学生大使演讲】Python 与 Mathematica 的交互
【2021 Wolfram 技术大会】Wolfram|Alpha Notebook Edition 简介
Mathematica 实用编程入门 (中文字幕)
Wolfram 语言 13.2 中的新功能
【2021 Wolfram 技术大会】使用 System Modeler 建立心脏模型
编写高性能 Wolfram 语言代码(中文)
【2021 Wolfram 技术大会】基于 LibraryLink 的 Wolfram 语言与 C++ 混合编程指南
【英文字幕】ChatGPT如何帮助你与Wolfram沟通 | ChatGPT's Wolfram Superpowers
【2021 Wolfram 技术大会】Mathematica 在中学数学中的若干应用
【2021 Wolfram 技术大会】利用 Mathematica 部署教学云端测试与智能分析
【2021 Wolfram 技术大会】基于 Mathematica 的人才培养和科学研究体系
【英文字幕】Wolfram U 课程 | 有限数学导论 07 线性方程组
【Wolfram U 课程系列中文字幕】【Modelica建模】3. 构建系统模型
如何让ChatGPT帮你最大化利用Wolfram的知识库
【英文字幕】Wolfram U 课程 | 有限数学导论 02 直角坐标系
并行编程 - 严密博士 (Wolfram 技术工程师)
【英文字幕】Wolfram U 课程 | 有限数学导论 24 贝叶斯定理
探索Wolfram 语言版本 13
【英文字幕】【Wolfram U】快速上手Mathematica和Wolfram语言
【Wolfram 中国虚拟技术大会】有限元 (FEM) 程序包在永磁电机电磁场分析中的应用
【2021 Wolfram 技术大会】Wolfram 语言在物理学中的应用
【2021 Wolfram 技术大会】Wolfram 欧式几何互动简介
Wolfram 帮您从零开始学习 AI
用 Wolfram 语言求解偏微分方程(PDE)的符号解
【Wolfram U课程】Wolfram语言第14版 (EP05) System Modeler 14 中的新库和功能【英文字幕】
【2021 Wolfram 技术大会】Wolfram 语言与智能会计分析
【Wolfram 语言编程】第七节 程序包开发、Workbench 以及有用的编程技巧
Wolfram Optimization
用 Wolfram 语言进行数学建模及将实际问题转换为数学语言 - 任楚祺
【Wolfram 中国虚拟技术大会】类神经网路的原理介绍以及其在 Wolfram 语言里的使用
【Wolfram 语言入门】实际运用 Wolfram 语言
【英文字幕】Wolfram U 课程 | 有限数学导论 25 马尔科夫链简介
采用 Wolfram 语言进行折纸机构运动学仿真 - 周通