ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

3,891,493 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

28,489 views

1y 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,117 views

9y 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

536 views

11mo 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,583 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,873 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

417,315 views

2y 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,256,756 views

3y 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,183 views

5y 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

48 views

3y ago

Education
Introduction to Mathematical Programming(Modeling and Solving LP Problems in a Spreadsheet)

Solving LP problems graphically is only possible when there are two decision variables Few real-world LP have only two decision ...

5:16
Introduction to Mathematical Programming(Modeling and Solving LP Problems in a Spreadsheet)

60 views

4y 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,770 views

6y 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,181 views

5y 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

305 views

3y ago

APMonitor.com
Nonlinear Optimization Modeling using JuMP and JuliaOpt

The JuliaOpt organization hosts open-source optimization software in the Julia programming language. JuliaOpt boasts a growing ...

54:49
Nonlinear Optimization Modeling using JuMP and JuliaOpt

5,018 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

321,990 views

5y ago

The Julia Programming Language
Modeling and Duality in Domain Specific Languages For Optimization | Juan Pablo Vielma | ASE60

Modeling and Duality in Domain Specific Languages for Mathematical Optimization: Domain specific languages (DSL) for ...

27:48
Modeling and Duality in Domain Specific Languages For Optimization | Juan Pablo Vielma | ASE60

747 views

2y ago

Optimization City
3 Ways to Solve a Linear Programming Model: Graphical, GAMS & Online Solver

Ready to master linear programming in three powerful ways? In this video, we walk you through: - Graphical method by ...

16:00
3 Ways to Solve a Linear Programming Model: Graphical, GAMS & Online Solver

125 views

11mo 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

442 views

5y ago

IMUS - Instituto Matemáticas Universidad de Sevilla
Juan Pablo Vielma: "Modeling and duality in domain specific languages for mathematical optimization"

Juan Pablo Vielma, Sloan School of Management, United States. Abstract: Domain specific languages (DSL) for mathematical ...

53:01
Juan Pablo Vielma: "Modeling and duality in domain specific languages for mathematical optimization"

149 views

4y ago