Wolfram Screencast & Video Gallery

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

Computational Complexity Classes, Homotopy Classes and N-machines

This presentation examines possible correspondence between computational complexity classes in computational graphs and higher homotopy classes between computability paths via the application of two methods: category theory and Homotopy Type Theory.

Was this video helpful?

Channels: Wolfram Virtual Technology Conference 2021

SORT BY: Latest | A-Z
120 videos match your search.
Kurt Boge
The publishing house Forlaget Matematik began a project in Danish high schools with the primary goals of adapting Mathematica to the existing national curriculum and examining the pedagogical potential of ...
Victor Frost
This talk demonstrates how Mathematica is uniquely capable of delivering a pedagogically interesting experience teaching communication fundamentals via ebook.
John Fultz
MinHsuan Peng
Shadi Ashnai
Kevin Hao, Alan Joyce, Ish Vardhani, Jason Sonnenberg, Keri Moran, Elisabetta Caldesi and Sharon Grimshaw
Microsoft and Wolfram partnered to integrate Wolfram knowledge in Excel, using the same technology within in Wolfram|Alpha and the Wolfram Language. Data literacy sets students up for future success. ...
Carlo Giacometti
Devendra Kapadia
Recent and upcoming features related to calculus and algebra in the Wolfram Language include support for interval computation in more than one hundred mathematical functions, powerful new techniques for evaluating ...
Adam Strzebonski
Recent and upcoming releases of Mathematica include significant functionality extensions in functions for finding exact solutions of systems of equations and inequalities and for solving exact optimization problems. The extensions ...
Sean Cheren
This talk gives details and examples of new and updated formats coming in the next version of Wolfram Language: specifically brand-new exporters for statistics-related formats and updates to metadata in ...
Tigran Ishkhanyan
Mathematica Version 12.3 introduces a number of special superfunctions including the focus of this talk: FoxH, a natural generalization of MeijerG.
Davit Baghdasaryan and Markus van Almsick
This talk shows how the improved registration capabilities added to Wolfram Language with Version 12.3 are used to provide powerful image stitching capabilities, including demonstrations of large scans, panoramas, and virtual ...
Nina Dokeva
This talk covers Wolfram Language numerical optimization functions for constrained local and global optimization, how they classify and process the inputs into the form required by different solvers and the ...
Paritosh Mokhasi
This talk focuses on generalizations of the convex optimization algorithms that allow us to solve a much broader category of problems. We discuss the construction of generalized convex functions and ...
Unal Goktas
This talk presents an overview of solution methods for partial differential equations (PDEs) in Wolfram Language and how these tools can be used to understand and learn PDEs. This includes ...
Antti Rasila
This presentation addresses numerical computation of harmonic and quasiconformal mappings, which are natural generalizations of conformal mappings. Theoretical background of the method and numerical computation of mappings with Mathematica are ...
Bob Sandheinrich
Find out how to both use and contribute Wolfram Resource System content---now including paclets! Demonstrations include navigating the Resource System website, integrating related resource functions into your code and other ...
Itai Seggev
This talk surveys multiple changes made to Mathematica up to this point to make the software an even better tool for introductory mathematics instruction.
József Konczer
This talk introduces the basic concepts of game theory framework and how they have been implemented in Wolfram Language. The presentation includes proposed construction, visualization and solution methods for various ...
Tom Wickham-Jones
The Wolfram Compiler converts Wolfram Language into native machine code and provides a faster execution path as well as many opportunities for innovative programming features. This talk covers advanced programming with the Wolfram Compiler, focusing on performance computing and showing the latest features that work ...