ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

4,322,131 results

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

23,626 views

9 months 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,496 views

5 years ago

Larry Snyder
AMPL Tutorial

A tutorial on the algebraic modeling language AMPL, which is used for mathematical optimization. The tutorial assumes you have ...

53:56
AMPL Tutorial

42,507 views

6 years ago

Optimization4All
Hands-On MIP Modeling: From Simple Formulations to Scalable Solutions with Jens-Peter Joost

In this hands-on session, we'll explore the art of mathematical optimization modeling through a practical worker-task scheduling ...

1:53:49
Hands-On MIP Modeling: From Simple Formulations to Scalable Solutions with Jens-Peter Joost

568 views

Streamed 2 weeks 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

14,040 views

1 year 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

303,646 views

4 years ago

The Julia Programming Language
Julia: The Type of Language for Mathematical Programming | Madeleine Udell | JuliaCon 2017

Visit http://julialang.org/ to download Julia. Time Stamps: 00:00 Welcome! 00:10 Help us add time stamps or captions to this video!

29:53
Julia: The Type of Language for Mathematical Programming | Madeleine Udell | JuliaCon 2017

7,151 views

8 years ago

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,115 views

9 years ago

People also watched

ZUCCMAP
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)

In this talk, Luis will explore the inner workings of interactive proof assistants such as Lean4 and discover a profound connection ...

43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)

3,826 views

1 year ago

Tom S
The Art of Linear Programming

A visual-heavy introduction to Linear Programming including basic definitions, solution via the Simplex method, the principle of ...

18:56
The Art of Linear Programming

903,052 views

2 years ago

Lex Clips
Brian Kernighan's Programming Setup | Lex Fridman

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

4:57
Brian Kernighan's Programming Setup | Lex Fridman

31,572 views

5 years ago

SimonDev
What Kind of Math Should Game Developers Know?

Math is important for game developers, but how much math do you really need? And is it really as difficult as it seems?

19:39
What Kind of Math Should Game Developers Know?

683,389 views

1 year ago

Lex Clips
What programming languages should everyone learn? | Charles Hoskinson and Lex Fridman

Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=FKh8hjJNhWc Please support this podcast by checking out ...

8:37
What programming languages should everyone learn? | Charles Hoskinson and Lex Fridman

396,402 views

4 years ago

AMPL Optimization
Model Based Optimization

Robert Fourer of AMPL Optimization discusses model-based vs. method-based approaches to large scale mathematical ...

47:36
Model Based Optimization

3,629 views

6 years ago

Julia Pahl
How To Use AMPL

This video explains how to use AMPL without the IDE.

5:24
How To Use AMPL

6,318 views

5 years ago

Richard Southwell
Learning To Code In Lean 4 With A Friend: Starting Out

My friend Avi Cramer and I start learning the Lean 4 functional programming language. This time we cover the basics like ...

50:59
Learning To Code In Lean 4 With A Friend: Starting Out

9,542 views

2 years ago

Solving Optimization Problems
How to Solve Optimization Problems Using Matlab

In this video, I'm going to show you how to solve optimization problems using Matlab. This method is very easy to use and a ...

7:29
How to Solve Optimization Problems Using Matlab

39,340 views

5 years ago

The Modern Software Developer
The Build System: Multi-Agent Workflows with Micah Villmow, Research Engineer at IFM

In this episode of The Build System, we sit down with Micah Villmow, Senior Research Engineer at the Institute for Foundation ...

1:42:18
The Build System: Multi-Agent Workflows with Micah Villmow, Research Engineer at IFM

2,884 views

8 days 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

400,714 views

1 year 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

370 views

7 months ago

PIFOP
Math Programming IDE for Academics - Optimization in the Web with PIFOP

Meet PIFOP: a mathematical programming IDE that will make your life as an optimization teacher, student or researcher much ...

2:17
Math Programming IDE for Academics - Optimization in the Web with PIFOP

300 views

3 years ago

Computerphile
Automated Mathematical Proofs - Computerphile

Could a computer program find Fermat's Lost Theorem? Professor Altenkirch shows us how to get started with lean. EXTRA BITS ...

18:02
Automated Mathematical Proofs - Computerphile

106,032 views

3 years ago

Gamma-Opt
MS-E2121 - Linear Optimization - Lecture 1.2

Mathematical programming and optimisation - Types of mathematical optimisation models Linear programming applications ...

40:31
MS-E2121 - Linear Optimization - Lecture 1.2

435 views

5 years ago

Greg Durrett
Mathematics of Language Modeling (NLP for High School)

Part of a series of videos on Natural Language Processing aimed at introducing high school students to language modeling.

6:11
Mathematics of Language Modeling (NLP for High School)

772 views

2 years 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,197 views

5 years ago

Fireship
10 Math Concepts for Programmers

Learn 10 essential math concepts for software engineering and technical interviews. Understand how programmers use ...

9:32
10 Math Concepts for Programmers

2,230,298 views

2 years ago

The Operations Research Guru
Deriving a Mathematical Programming Model

Hey everyone I'm Akash Joshi I'm the aura Guru and today we're going to be talking about mathematical programming models so ...

6:26
Deriving a Mathematical Programming Model

43 views

3 years ago