This page requires that JavaScript be enabled in your browser.
Learn how »
Mathematica 与 Lean 的双向可拓展交互
Minchao Wu (Wolfram|Alpha 顾问)
我们介绍一个 Mathematica 与定理证明器 Lean 的双向可拓展交互连接。该连接通过翻译两个系统中的语法使得用户能够在两个系统交换任意信息。作为应用，我们介绍如何使用 Lean 的元编程来验证 Mathematica 的计算，以及使用 Mathematica 来引导在 Lean 中的证明。另一方面，我们演示如何在 Mathematica 中浏览和搜索 Lean 的定理库。
Thanks for your feedback.
Channels: Virtual Events
701 videos match your search.
 |
This live showcase demonstrates how Wolfram Technologies can be used in Calculus, Algebra, Statistics and other Maths-related subjects. It's scheduled specifically for students and faculty to help you use Mathematica and the Wolfram Language in your study, research ... |
 |
This live showcase demonstrates various Wolfram Technologies that can be used to help with the maths-based area of theoretical physics and the practical applications required for experimental physics. The Webinar ... |
 |
This course introduces core technologies for getting started quickly with the Wolfram Technology stack. Learn to work with Wolfram Notebooks in the ... |
 |
This course introduces core technologies for getting started quickly with the Wolfram Technology stack. Learn to work with Wolfram Notebooks in the ... |
 |
This course introduces core technologies for getting started quickly with the
Wolfram Technology stack. Learn to work with Wolfram Notebooks in the ... |
 |
Kelvin Mischo |
 |
Abrita Chakravarty |
 |
Jon McLoone |
 |
Abrita Chakravarty |
 |
Abrita Chakravarty |
 |
Mads Bahrami |
 |
Aaron Enright |
 |
Luke Titus |
 |
Luke Titus |
 |
Luke Titus |
 |
Abrita Chakravarty |
 |
Dylan Boliske and Jofre Espigule-Pons |
 |
Etienne Bernard |
 |
Tuseeta Banerjee |
 |
Damanjit Singh |
