ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

4,372,129 results

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

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

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

6 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

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,594 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

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

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

13,979 views

1 year 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,568 views

5 years ago

Jia-Bin Huang
How Attention Residuals Rewire Modern LLMs

Attention Residuals replaces the standard fixed residual accumulation with softmax attention over previous layer outputs.

24:17
How Attention Residuals Rewire Modern LLMs

11,338 views

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

Splience
Let's code math | Lean4 | Theorem prover

Continuous functions play a crucial role in various disciplines in math. We discuss the epsilon-delta criterion and formalize it in the ...

20:50
Let's code math | Lean4 | Theorem prover

24,020 views

1 year ago

INFORMS
Teaching, Learning, and Applying Optimization: AMPL’s Intuitive Modeling Meets the Python Ecosystem

Optimization is part of any educational program in Operations Research or Analytics, but the curriculum must steadily evolve to ...

59:36
Teaching, Learning, and Applying Optimization: AMPL’s Intuitive Modeling Meets the Python Ecosystem

1,750 views

2 years 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

902,980 views

2 years ago

The Julia Programming Language
Taking Vector Transposes Seriously | Jiahao Chen | 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!

19:12
Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017

7,307 views

8 years ago

The Julia Programming Language
JuliaOpt: Optimization related projects in Julia | Iain Dunning | JuliaCon 2015

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

39:19
JuliaOpt: Optimization related projects in Julia | Iain Dunning | JuliaCon 2015

14,284 views

10 years ago

Vu Tien Vo
Assignment Submission - IDE - Basic Modeling for Discrete Optimization

Link to this course: ...

7:27
Assignment Submission - IDE - Basic Modeling for Discrete Optimization

56 views

5 years ago

balticruby
"Mathematical Programming in Ruby"

SPEAKER: TOMASZ JÓŹWIK. When using math programming, we can achieve optimal solutions for complex problems by ...

35:18
"Mathematical Programming in Ruby"

68 views

1 year ago

Visually Explained
What Is Mathematical Optimization?

A gentle and visual introduction to the topic of Convex Optimization. (1/3) This video is the first of a series of three. The plan is as ...

11:35
What Is Mathematical Optimization?

207,380 views

4 years ago

Vu Tien Vo
1.1.1 First Steps - Basic Modeling for Discrete Optimization

Link to this course: ...

14:05
1.1.1 First Steps - Basic Modeling for Discrete Optimization

29 views

5 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

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,618 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

369 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

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

42 views

3 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,197 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,194 views

5 years ago

IEOR@IITB
Lecture 12: Modeling Piecewise Linear Functions, by Sven Leyffer.

GIAN course on Advances in Mixed-Integer Nonlinear Optimization conducted by Sven Leyffer, Pietro Belotti and Ashutosh ...

34:38
Lecture 12: Modeling Piecewise Linear Functions, by Sven Leyffer.

457 views

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

859,820 views

5 years ago

VLR Training
About GAMS Programming Language

About GAMS Programming Language #GAMS #Optimization #MathematicalProgramming #OperationsResearch ...

0:56
About GAMS Programming Language

195 views

9 months ago