Wolfram Screencast & Video Gallery

This page requires that JavaScript be enabled in your browser.
Learn how »

Mathematica 与 Lean 的双向可拓展交互

我们介绍一个 Mathematica 与定理证明器 Lean 的双向可拓展交互连接。该连接通过翻译两个系统中的语法使得用户能够在两个系统交换任意信息。作为应用,我们介绍如何使用 Lean 的元编程来验证 Mathematica 的计算,以及使用 Mathematica 来引导在 Lean 中的证明。另一方面,我们演示如何在 Mathematica 中浏览和搜索 Lean 的定理库。

Was this video helpful?

Channels: Virtual Events

SORT BY: Latest | A-Z
701 videos match your search.
Extract the pulse of a person in a video sequence with an ordinary built-in camera and the Wolfram Language. This talk walks you through video acquisition and stabilization, skin and ...
Crystal Fantry
This screencast from the Wolfram Mathematica Virtual Conference 2011 explores the various ways that mobile devices can tap into the power of Mathematica and Wolfram|Alpha to enhance learning in math, ...
Andrew Moylan
This project course from the Wolfram SystemModeler Virtual Conference 2012 shows how SystemModeler and Mathematica are used in the model design of a Stewart platform.
Learn about the flexibility of modeling in SystemModeler and how to construct one model that allows evaluation of many different systems and scenarios.
This video shows how to use the Wolfram Language to modify existing models, add data input to your models, connect model components and programmatically build and extend models.
Sebastian Bodenstein
This presentation provides an introduction to the noSQL database operations available with MongoLink, a high-performance Wolfram Language link to the MongoDB C driver.
Roger Germundsson
Get an overview of Mathematica's new high-level functions for probability and statistics and learn how to work with its large collection of built-in distributions in this Wolfram Mathematica Virtual Conference 2011 ...
Otto Tronarp
This course from the Wolfram SystemModeler Virtual Conference 2012 covers multibody modeling and simulation with SystemModeler using a joystick design project.
Tuseeta Banerjee
Timothée Verdier
Efficiently train convolutional neural networks on large out-of-core datasets, then easily import and export them for use on all platforms.
Timothée Verdier
In this first webinar of the three-part Machine Learning webinar series, learn how to use the built-in neural net framework and build a net model from scratch, as well as ...
This session covers new and enhanced functionality for geographics, visualization, graphs, dates and time.
Learn about access to external data from the Wolfram Language. Presentation topics include new built-in support for Wikidata, the Wolfram framework for relational database connectivity and the latest developments for ...
Микаел Эгибян