ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

4,523,750 results

Krell Institute
DOE CSGF 2016: JuMP -- A Modeling Language for Mathematical Optimization

View more information on the DOE CSGF Program at http://www.krellinst.org/csgf JuMP is an open-source software package in ...

18:16
DOE CSGF 2016: JuMP -- A Modeling Language for Mathematical Optimization

1,117 views

9y ago

Lex Clips
How to learn Lean programming language | Terence Tao and Lex Fridman

Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=HUkBz-cdB-k Thank you for listening ❤ Check out our ...

4:27
How to learn Lean programming language | Terence Tao and Lex Fridman

27,972 views

1y ago

Eyesomorphic
Programming with Math | The Lambda Calculus

The Lambda Calculus is a tiny mathematical programming language that has the same computational power as any language ...

21:48
Programming with Math | The Lambda Calculus

415,846 views

2y ago

Lex Clips
Mathematical Programming With AMPL | Brian Kernighan and Lex Fridman

Full episode with Brian Kernighan (Jul 2020): https://www.youtube.com/watch?v=O9upVbGSBFo Clips channel (Lex Clips): ...

7:53
Mathematical Programming With AMPL | Brian Kernighan and Lex Fridman

8,575 views

5y ago

Alex Kontorovich
How Mathematicians can Get Started with Lean

Instructions from the video: Step 1: Open a free account on https://github.com/ Step 2: Google "Mathlib4" or navigate to ...

31:47
How Mathematicians can Get Started with Lean

20,224 views

1y ago

Aaron Gray
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

Oxford Strachey Lectures Leo De Moura: Formalizing the Future: Lean's Impact on Mathematics, Programming, and AI How can ...

47:15
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

509 views

11mo ago

Ammar Harasani
Modeling with GAMS - Sample Problem 1

In this Tutorial I walked through modeling with GAMS a Step by Step for a sample problem. Hope you enjoy it.

14:57
Modeling with GAMS - Sample Problem 1

97,377 views

10y ago

Dr. Trefor Bazett
Intro to Linear Programming

This optimization technique is so cool!! Get Maple Learn ▻https://www.maplesoft.com/products/learn/?p=TC-9857 Get the free ...

14:23
Intro to Linear Programming

320,670 views

5y ago

Harvard CMSA
Christian Szegedy | Language modeling for Mathematical Reasoning

1/20/2021 New Technologies in Math Seminar Speaker: Christian Szegedy, Google Research Title: Language modeling for ...

51:24
Christian Szegedy | Language modeling for Mathematical Reasoning

1,182 views

5y ago

Ridvan Gedik
Modeling Mathematical Models in Excel Solver Part 1

In this video we are going to understand how we can actually um model new programming models in ms excel solver in which we ...

7:26
Modeling Mathematical Models in Excel Solver Part 1

1,175 views

5y ago

Joma Tech
why you NEED math for programming

Get the JomaClass membership: https://joma.tech/dsa First 100 people get 15% off the yearly subscription with promo code ...

5:03
why you NEED math for programming

9,744,596 views

5y ago

Turing
Mathematics of LLMs in Everyday Language

Explore science like never before - accessible, thrilling, and packed with awe-inspiring moments. Fuel your curiosity with 100s of ...

1:06:17
Mathematics of LLMs in Everyday Language

198,520 views

11mo ago

Daryl Ono
Mathematical Programming - Introduction & Demonstration

This is an introduction to mathematical programming that includes a demonstration using the Solver function in MS Excel.

59:36
Mathematical Programming - Introduction & Demonstration

353 views

4y ago

Sri Chaitanya Academy NEET
Linear Programming - Formulation 1 | Don't Memorise

Live RE NEET 2026 Paper Solution: https://www.youtube.com/watch?v=nbYOYK774_E Join Live NEET 2026 Paper ...

5:44
Linear Programming - Formulation 1 | Don't Memorise

342,241 views

7y ago

Raihana Zainordin
Formulating a Linear Programming Model

Formulating the linear programming model let's look at this example to formulate a linear programming model first identify ...

3:13
Formulating a Linear Programming Model

126,992 views

6y ago

AMPL Optimization
Modeling, not Programming

AMPL Resources: The AMPL Book is available free at https://ampl.com/resources/the-ampl-book/ Get a full trial of AMPL and ...

30:10
Modeling, not Programming

1,217 views

5y ago

Mario's Math Tutoring
Linear Programming (Optimization) 2 Examples Minimize & Maximize

Learn how to work with linear programming problems in this video math tutorial by Mario's Math Tutoring. We discuss what are: ...

15:08
Linear Programming (Optimization) 2 Examples Minimize & Maximize

900,304 views

6y ago