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,019,324 results
Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=HUkBz-cdB-k Thank you for listening ❤ Check out our ...
27,967 views
1 year ago
View more information on the DOE CSGF Program at http://www.krellinst.org/csgf JuMP is an open-source software package in ...
1,117 views
9 years ago
Full episode with Brian Kernighan (Jul 2020): https://www.youtube.com/watch?v=O9upVbGSBFo Clips channel (Lex Clips): ...
8,574 views
5 years ago
1/20/2021 New Technologies in Math Seminar Speaker: Christian Szegedy, Google Research Title: Language modeling for ...
1,182 views
Instructions from the video: Step 1: Open a free account on https://github.com/ Step 2: Google "Mathlib4" or navigate to ...
20,212 views
This optimization technique is so cool!! Get Maple Learn ▻https://www.maplesoft.com/products/learn/?p=TC-9857 Get the free ...
320,657 views
The Lambda Calculus is a tiny mathematical programming language that has the same computational power as any language ...
415,822 views
2 years ago
In this video, I look at VibeCoder 3b and how it is beating some models that are 300x its size on certain benchmarks by improving ...
40,608 views
10 days ago
Leslie Lamport revolutionized how computers talk to each other. The Turing Award-winning computer scientist pioneered the field ...
3,542,948 views
4 years ago
In this talk, Luis will explore the inner workings of interactive proof assistants such as Lean4 and discover a profound connection ...
4,614 views
A visual-heavy introduction to Linear Programming including basic definitions, solution via the Simplex method, the principle of ...
919,354 views
Support this channel on Patreon ▻ https://www.patreon.com/zoranhorvat Generative AI can write code, but it cannot develop ...
22,567 views
6 days ago
Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=FKh8hjJNhWc Please support this podcast by checking out ...
396,993 views
Lecture 1: Introduction and Proofs Instructor: Tom Leighton View the complete course: http://ocw.mit.edu/6-042JF10 License: ...
2,733,852 views
13 years ago
Every AI coding tool we tried had the same assumption: send as much context as possible. In our production codebase, that ...
2,826 views
1 day ago
Ten open-source AI tools that feel like cheating once you know them. Every one is free, most are self-hostable, and most builders ...
53,571 views
7 days ago
Continuous functions play a crucial role in various disciplines in math. We discuss the epsilon-delta criterion and formalize it in the ...
25,819 views
In this video we are going to understand how we can actually um model new programming models in ms excel solver in which we ...
1,175 views
Meet PIFOP: a mathematical programming IDE that will make your life as an optimization teacher, student or researcher much ...
305 views
3 years ago
Oxford Strachey Lectures Leo De Moura: Formalizing the Future: Lean's Impact on Mathematics, Programming, and AI How can ...
509 views
11 months ago
Learn 10 essential math concepts for software engineering and technical interviews. Understand how programmers use ...
2,252,732 views
This is an introduction to mathematical programming that includes a demonstration using the Solver function in MS Excel.
353 views
Hey everyone I'm Akash Joshi I'm the aura Guru and today we're going to be talking about mathematical programming models so ...
48 views
Learn how to work with linear programming problems in this video math tutorial by Mario's Math Tutoring. We discuss what are: ...
900,248 views
6 years ago
Explore science like never before - accessible, thrilling, and packed with awe-inspiring moments. Fuel your curiosity with 100s of ...
198,517 views
Solving LP problems graphically is only possible when there are two decision variables Few real-world LP have only two decision ...
60 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,217 views
Formulating the linear programming model let's look at this example to formulate a linear programming model first identify ...
126,988 views
Mathematical programming and optimisation - Types of mathematical optimisation models Linear programming applications ...
441 views
Get the JomaClass membership: https://joma.tech/dsa First 100 people get 15% off the yearly subscription with promo code ...
9,744,524 views
