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.
Conrad Wolfram
Wolfram technologies are the tools for providing interactive and engaging materials for STEM education. In this video, Conrad Wolfram shares examples and explains why Wolfram is uniquely positioned to be ...
Get easy access to the world of computable knowledge using Wolfram|Alpha apps. This talk demonstrates key features of the Wolfram|Alpha app and shows you the extensive data and ...
This webinar features talks that demonstrate how Version 12 of the Wolfram Language extends the capabilities of the entity framework, with a deeper look at food and nutrition data, cultural and ...
This session covers new functionality in video, image and audio computation plus a presentation on new automated machine learning capabilities.
Angela Sims
Learn how to harness the power of Wolfram|Alpha in the classroom. This Wolfram Technology for STEM Education: Virtual Conference for Education talk gives an introduction to Wolfram|Alpha mobile ...
Angela Sims
This presentation covers the wide range of educational mobile applications powered by Wolfram|Alpha, including apps in math, physics, geography, astronomy, and more.
Walk through the development of deep learning applications for the processing and analysis of images in the Wolfram Language. Real-world examples provide practical insights on how to effectively leverage neural ...
Andrew Yule
An all-encompassing set of R&D tools that uses the Wolfram Language and CDF to handle a vast array of internal calculations, workflows and data analysis techniques for the oil ...
ウルフラムリサーチアジアリミティッド 金光安芸子
Yu-Sung Chang
Mathematica provides a powerful graphics language for general use and highly sophisticated visualization. This Wolfram Mathematica Virtual Conference 2011 course covers topics such as lighting control, camera setup, texture, and more.
Mili Vishwakarma
See how Mathematica connects to external programs using MathLink and other technologies built on top of MathLink, including J/Link, .NET/Link, DatabaseLink, and LibraryLink, in this talk from the ...
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 ...
A. Rose
Dispel the stereotype that you have to be a programmer to access powerful teaching tools. This talk will show you how to use the Wolfram Technology Stack to engage your ...
Etienne Bernard
Etienne Bernard chercheur passer vous en fait découvrir les nouvelle fonctionnalités en machine learning de Mathematica 10, incluant les fonctions Classify et Predict.