Upload date
All time
Last hour
Today
This week
This month
This year
Type
All
Video
Channel
Playlist
Movie
Duration
Short (< 4 minutes)
Medium (4-20 minutes)
Long (> 20 minutes)
Sort by
Relevance
Rating
View count
Features
HD
Subtitles/CC
Creative Commons
3D
Live
4K
360°
VR180
HDR
4,298,328 results
Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=HUkBz-cdB-k Thank you for listening ❤ Check out our ...
23,696 views
9 months ago
Full episode with Brian Kernighan (Jul 2020): https://www.youtube.com/watch?v=O9upVbGSBFo Clips channel (Lex Clips): ...
8,496 views
5 years ago
A tutorial on the algebraic modeling language AMPL, which is used for mathematical optimization. The tutorial assumes you have ...
42,512 views
6 years ago
View more information on the DOE CSGF Program at http://www.krellinst.org/csgf JuMP is an open-source software package in ...
1,115 views
9 years ago
In this hands-on session, we'll explore the art of mathematical optimization modeling through a practical worker-task scheduling ...
573 views
Streamed 2 weeks ago
Instructions from the video: Step 1: Open a free account on https://github.com/ Step 2: Google "Mathlib4" or navigate to ...
14,123 views
1 year ago
Oxford Strachey Lectures Leo De Moura: Formalizing the Future: Lean's Impact on Mathematics, Programming, and AI How can ...
374 views
7 months ago
This optimization technique is so cool!! Get Maple Learn ▻https://www.maplesoft.com/products/learn/?p=TC-9857 Get the free ...
303,778 views
4 years ago
About this Course “Welcome to Introduction to Numerical Mathematics. This is designed to give you part of the mathematical ...
188,456 views
3 years ago
In this talk, Luis will explore the inner workings of interactive proof assistants such as Lean4 and discover a profound connection ...
3,831 views
A visual-heavy introduction to Linear Programming including basic definitions, solution via the Simplex method, the principle of ...
903,238 views
2 years ago
31,577 views
Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=FKh8hjJNhWc Please support this podcast by checking out ...
396,409 views
Since the inception of Eclipse Xtext in 2008, domain-specific languages (DSLs) have been applied in numerous industrial ...
1,417 views
Visit http://julialang.org/ to download Julia. Time Stamps: 00:00 Welcome! 00:10 Help us add time stamps or captions to this video!
7,307 views
8 years ago
In this episode of The Build System, we sit down with Micah Villmow, Senior Research Engineer at the Institute for Foundation ...
2,963 views
8 days ago
For more information about Stanford's online Artificial Intelligence programs visit: https://stanford.io/ai To learn more about ...
524,348 views
11 months ago
Robert Fourer of AMPL Optimization discusses model-based vs. method-based approaches to large scale mathematical ...
3,629 views
The Lambda Calculus is a tiny mathematical programming language that has the same computational power as any language ...
400,927 views
7,151 views
Meet PIFOP: a mathematical programming IDE that will make your life as an optimization teacher, student or researcher much ...
300 views
SPEAKER: TOMASZ JÓŹWIK. When using math programming, we can achieve optimal solutions for complex problems by ...
69 views
Could a computer program find Fermat's Lost Theorem? Professor Altenkirch shows us how to get started with lean. EXTRA BITS ...
106,049 views
This is an introduction to mathematical programming that includes a demonstration using the Solver function in MS Excel.
338 views
AMPL Resources: The AMPL Book is available free at https://ampl.com/resources/the-ampl-book/ Get a full trial of AMPL and ...
1,198 views
Mathematical programming and optimisation - Types of mathematical optimisation models Linear programming applications ...
435 views
Part of a series of videos on Natural Language Processing aimed at introducing high school students to language modeling.
772 views
