ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

189,202 results

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

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

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

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

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

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

INFORMS Student Chapter - UT Austin
Optimization in Python: Pyomo and Gurobipy Workshop - Brent Austgen - UT Austin INFORMS

Join UT INFORMS student chapter officer Brent Austgen for a tutorial in implementing math models with pyomo and gurobipy.

1:11:46
Optimization in Python: Pyomo and Gurobipy Workshop - Brent Austgen - UT Austin INFORMS

47,356 views

5 years ago

Tsoding Daily
I tried Lean and instantly got PhD in Math

Streamed Live on Twitch: https://twitch.tv/tsoding Enable Subtitles for Twitch Chat Chapters: - 00:00:00 - Intro - 00:01:37 - Installing ...

3:15:10
I tried Lean and instantly got PhD in Math

102,271 views

1 month 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.

458 views

1 year ago

Alberto Costa
Optimization Modelling - Basics of Mathematical Programming in AMPL 1/3

First part of the online course: Optimization Modelling - Basics of Mathematical Programming in AMPL This course teaches the ...

1:16:14
Optimization Modelling - Basics of Mathematical Programming in AMPL 1/3

142 views

1 year ago

Warren Powell
The Next Generation of AI: A Universal Framework for Sequential Decision Problems

Large language models have emerged as powerful tools that facilitate the process of humans interacting with computers, but they ...

47:26
The Next Generation of AI: A Universal Framework for Sequential Decision Problems

66 views

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

Gurobi Optimization
Introduction to Mathematical Optimization with Gurobi Integer Programming

Rodrigo Fuentes from Gurobi Optimization talks about Mathematical Optimization with Gurobi Integer Programming at the IEEE ...

52:22
Introduction to Mathematical Optimization with Gurobi Integer Programming

3,989 views

3 years ago

The Julia Programming Language
Numerical Optimization in Julia | Miles Lubin, Iain Dunning | Julia Tutorial MIT 2013

A number of optimization libraries are already available for Julia. This session focusses largely on linear programming.

26:46
Numerical Optimization in Julia | Miles Lubin, Iain Dunning | Julia Tutorial MIT 2013

7,160 views

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

193,645 views

8 months ago

Gurobi Optimization
Build optimization models and turn them into full featured applications with Gurobi and Anaconda

Developers of optimization and prescriptive analytics models often feel that they need to choose between the ease of a modeling ...

53:17
Build optimization models and turn them into full featured applications with Gurobi and Anaconda

19,660 views

10 years ago

CAPRI Model
Calibration of the Supply module. Positive Mathematical Programming.

This is a part of the CAPRI training session 2021. The complete agenda and course materials can be found here: ...

32:06
Calibration of the Supply module. Positive Mathematical Programming.

485 views

4 years 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,001 views

9 years ago

Alberto Costa
Optimization Modelling - Basics of Mathematical Programming in AMPL 2/3

First part of the online course: Optimization Modelling - Basics of Mathematical Programming in AMPL This course teaches the ...

58:41
Optimization Modelling - Basics of Mathematical Programming in AMPL 2/3

83 views

1 year ago

The Organic Chemistry Tutor
Linear Programming

It explains how to write the objective function and constraints of linear programming word problems. It discusses how to find all of ...

33:20
Linear Programming

1,476,176 views

8 years ago