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,299,787 results
Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=HUkBz-cdB-k Thank you for listening ❤ Check out our ...
23,682 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,103 views
1 year ago
The Lambda Calculus is a tiny mathematical programming language that has the same computational power as any language ...
400,893 views
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,208 views
2 years ago
Math is important for game developers, but how much math do you really need? And is it really as difficult as it seems?
684,075 views
Robert Fourer of AMPL Optimization discusses model-based vs. method-based approaches to large scale mathematical ...
3,629 views
Compilers and Humans have the same problem. We're all terrible at understanding each other. Many programming bugs are ...
336,290 views
4 months ago
Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=FKh8hjJNhWc Please support this podcast by checking out ...
396,406 views
4 years ago
In this episode of The Build System, we sit down with Micah Villmow, Senior Research Engineer at the Institute for Foundation ...
2,949 views
8 days ago
Continuous functions play a crucial role in various disciplines in math. We discuss the epsilon-delta criterion and formalize it in the ...
24,054 views
My friend Avi Cramer and I start learning the Lean 4 functional programming language. This time we cover the basics like ...
9,548 views
Hi everyone in this video i'm going to create a mathematical model a formula which will do its best to match the data points that we ...
16,881 views
Oxford Strachey Lectures Leo De Moura: Formalizing the Future: Lean's Impact on Mathematics, Programming, and AI How can ...
373 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,756 views
SPEAKER: TOMASZ JÓŹWIK. When using math programming, we can achieve optimal solutions for complex problems by ...
69 views
Meet PIFOP: a mathematical programming IDE that will make your life as an optimization teacher, student or researcher much ...
300 views
3 years ago
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,151 views
8 years ago
Could a computer program find Fermat's Lost Theorem? Professor Altenkirch shows us how to get started with lean. EXTRA BITS ...
106,043 views
This is an introduction to mathematical programming that includes a demonstration using the Solver function in MS Excel.
338 views
Learn 10 essential math concepts for software engineering and technical interviews. Understand how programmers use ...
2,230,446 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
